Migrate the contents of webkitenv into .webkit_login.

[dotfiles.git] / .bash_login

diff --git a/.bash_login b/.bash_login
index 511d498ab1f03e44d40df03ea86e987f903a3331..96b42af66b5328d2ddb6c788a586500d810e9e62 100644 (file)
--- a/.bash_login
+++ b/.bash_login
@@ -10,15 +10,6 @@ function short_pwd()
 }
 export PS1='$( if [ $? = 0 ]; then echo \[\e[32m\]:-\)\ ; else echo \[\e[31m\]:-\(\ ;fi;)\[\e[0m\]\u@\h:$(short_pwd)> '
 
-ssh-forget() {
-sed -i .bak "/^$1,/d" ~/.ssh/known_hosts
-}
-
-ssh-learn() {
-sed -i .bak "/^$1,/d" ~/.ssh/known_hosts
-ssh-keyscan -t rsa $1 >> ~/.ssh/known_hosts
-}
-
 export PATH=~/bin:$PATH
 export MANPATH=~/man:$MANPATH