diff --git a/.bash_aliases b/.bash_aliases index 6f308e9..9a38009 100644 --- a/.bash_aliases +++ b/.bash_aliases @@ -17,6 +17,7 @@ alias pcloud='~/Apps/pcloud' alias pandout='~/.scripts/pandout.sh' alias pandorm='rm -rf output' alias cv='~/.scripts/cv.sh' +alias dotupdate='git fetch --all && git reset --hard origin/master' # Hopefully temporary utility aliases: alias paren='xmodmap -e "keycode 81=9 parenleft"' @@ -27,4 +28,4 @@ alias rm='rm -i' alias emacs='emacs -nw' alias editalias='emacs ~/.bash_aliases' alias open='xdg-open' -alias articleupload='~/.scripts/articleupload.sh' # requires one filename as argument \ No newline at end of file +alias articleupload='~/.scripts/articleupload.sh' # requires one filename as argument diff --git a/README.md b/README.md index 1e68a2c..a012e54 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,6 @@ On Debian-based systems: ## Updating -Do all editing on the GitLab repo, rather than locally, then update changes on local machines. On local machines, to update from canonical GitLab repo: +Do all editing on the GitLab repo, rather than locally, then update changes on local machines. On local machines, to update from canonical GitLab repo, use this alias: - git fetch --all - git reset --hard origin/master + dotupdate