More consistently push non-dotfile data
This commit is contained in:
parent
b9982fd8a5
commit
cdbbb722a8
|
@ -178,7 +178,10 @@ function pushdot {
|
|||
res="$?"
|
||||
fi
|
||||
if [[ "$res" == "0" ]]; then
|
||||
git push -u origin main && push-extensions && sync-history && push-dconf
|
||||
git push -u origin main
|
||||
push-extensions
|
||||
sync-history
|
||||
push-dconf
|
||||
fi
|
||||
cd -
|
||||
return $res
|
||||
|
|
Loading…
Reference in New Issue