Add dev-docker command

This commit is contained in:
2018-11-05 17:44:15 +01:00
parent 6b69062978
commit 5e574fb06c

View File

@@ -165,6 +165,11 @@ alias grm='git fetch origin master && git rebase origin/master && git push -f'
alias sudo='sudo -E '
alias su='su -m'
alias dev-docker='docker run --rm --user root \
--mount type=bind,source=$PWD,target=/home/build/project \
--interactive --tty dasfoo/dev:latest \
-u$(id -u) -g$(id -g) bash -c'
# useful stuff
[ -z "$VIM_ORIGINAL" ] && VIM_ORIGINAL="$(which vim)"
function vim() {