bin: pull before pushing

This commit is contained in:
xeruf 2022-07-06 10:21:14 +02:00
parent 7808518432
commit 75f0f0d332
3 changed files with 4 additions and 2 deletions

View File

@ -205,8 +205,8 @@ alias hedgedoc="tmux kill-session -t hedgedoc; builtin cd '$d4/dev/_forks/hedged
alias rm='rm -I' alias rm='rm -I'
del() { del() {
# TODO create on current partition and clean on reboot via cron # TODO use current partition and clean on reboot via cron
trash=/tmp/thrash/ trash=/tmp/trash/
#mkdir $trash #mkdir $trash
m "$@" $trash m "$@" $trash
} }

View File

@ -1,3 +1,4 @@
$XDG_CONFIG_HOME/kitty
$XDG_CONFIG_HOME/yadm $XDG_CONFIG_HOME/yadm
$XDG_CONFIG_HOME/doom $XDG_CONFIG_HOME/doom
$XDG_CONFIG_HOME/git $XDG_CONFIG_HOME/git

View File

@ -1,4 +1,5 @@
#!/bin/sh #!/bin/sh
git-l
if git rev-parse @{upstream} >/dev/null 2>&1 if git rev-parse @{upstream} >/dev/null 2>&1
then git push "$@" then git push "$@"
else git push --set-upstream "$@" else git push --set-upstream "$@"