Don't need kint anymore + add host.
This commit is contained in:
parent
32900fb177
commit
7244c42c27
1 changed files with 1 additions and 1 deletions
2
.aliases
2
.aliases
|
@ -3,8 +3,8 @@ alias cassa="mosh vsbugge@cassarossa.samfundet.no"
|
|||
alias cirkus="mosh vsbugge@cirkus.samfundet.no"
|
||||
alias alter="mosh vsbugge@altersex.samfundet.no"
|
||||
alias navi="mosh vsbugge@navi.samfundet.no"
|
||||
alias kolje="ssh root@kolje.samfundet.no"
|
||||
alias cassini="mosh cassini"
|
||||
alias kint="kinit vsbugge@AD.SAMFUNDET.NO"
|
||||
export GPG_TTY=$(tty)
|
||||
|
||||
alias dotfiles='/usr/bin/git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME'
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue