improved rosterm alias
This commit is contained in:
parent
7c961460e9
commit
b29d2bc008
1 changed files with 12 additions and 1 deletions
13
home/.zshrc
13
home/.zshrc
|
|
@ -36,6 +36,17 @@ alias zshrc="nvim ~/.zshrc"
|
|||
alias mount-institut='kinit -kt "$HOME/keytabs/cta1233.keytab" cta1233@KERBEROS.TU-HARBURG.DE && mount /TUHH/Institut'
|
||||
alias mount-lehre='kinit -kt "$HOME/keytabs/cta1233.keytab" cta1233@KERBEROS.TU-HARBURG.DE && mount /TUHH/Lehre'
|
||||
|
||||
alias rosterm='docker exec -it ros2-vim zsh'
|
||||
alias rosterm='find_or_create_rosterm'
|
||||
|
||||
alias git-delete-merged="git branch --merged main | grep -v '^[ *]*main$' | xargs git branch -d"
|
||||
|
||||
function find_or_create_rosterm() {
|
||||
docker container inspect ros2-vim > /dev/null 2>&1
|
||||
if [ $? -eq 0 ]; then
|
||||
docker exec -it ros2-vim zsh
|
||||
else
|
||||
OLD_DIR="$(pwd)"
|
||||
cd $HOME/Documents/ros2-vim && ./run
|
||||
cd "$OLD_DIR"
|
||||
fi
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue