.profile: Pull in dotupdate

2018-10-30 14:23:15 -05:00
parent 9dfb60cdfc
commit a76a465cd6
1 changed files with 2 additions and 0 deletions
--- a/.profile
+++ b/.profile
@@ -53,6 +53,8 @@ if [ -d "$HOME/.dotfiles" ]; then
 	dotcmd='git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME'
 	alias dot="$dotcmd"
 	alias dotupdate="\
+		printf 'Pulling...\n'; \
+		$dotcmd pull
 		printf 'Updating submodules...\n'; \
 		$dotcmd submodule update --init; \
 		printf 'Checking out masters...\n'; \