diff options
| author | Mattias Andrée <maandree@kth.se> | 2023-11-25 18:08:34 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2023-11-25 18:08:34 +0100 |
| commit | 5b7e0db847c46affc207c327835d1efd3b2727de (patch) | |
| tree | 764855cde8a304641a359e907157dc0525ff8a20 /git/bash-aliases | |
| parent | Update dmenu to use different fonts (primary size due to different DPI, distance, and screen size) on different computers (diff) | |
| download | dotfiles-5b7e0db847c46affc207c327835d1efd3b2727de.tar.gz dotfiles-5b7e0db847c46affc207c327835d1efd3b2727de.tar.bz2 dotfiles-5b7e0db847c46affc207c327835d1efd3b2727de.tar.xz | |
Misc updates
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
| -rw-r--r-- | git/bash-aliases | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/git/bash-aliases b/git/bash-aliases index 3552668..3b19a26 100644 --- a/git/bash-aliases +++ b/git/bash-aliases @@ -7,15 +7,6 @@ gitcomm () { git commit --signoff -S"$GPG_KEY" -m "$*" } -ge () { - if [ -z "$EDITOR" ]; then - printf '\e[1;31m%s\e[0m\n' 'No default editor is set, please configure the environment variable EDITOR' - else - $EDITOR -- "$@" - git add -- "$@" - fi -} - gitpush () { git push -u origin `___git_branch_` } |