X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=bashrc;fp=bashrc;h=67378cb64a3022a23f95abbf0a967e2d0b05fe75;hb=5efb05264954a0e2c2bde976a27abe7ca66685d4;hp=41b27c6cf0d8ef40dc8f00c6176c2ee17a6ed7e3;hpb=27c7b0d940ee3c394245ba44f1f4c4cea0fb46c8;p=myplc.git

diff --git a/bashrc b/bashrc
index 41b27c6..67378cb 100644
--- a/bashrc
+++ b/bashrc
@@ -1,4 +1,6 @@
 # -*-sh-*-
+# $Id$
+# $URL$
 # this file defines a few convenience bash shorthands for managing myplc nodes
 # it is installed in /usr/share/myplc/aliases
 # you might wish to use it in your own bash startup files (.profile/.bashrc)
@@ -24,23 +26,12 @@ function node_dbg () {
     [[ -z "$@" ]] && { echo "Usage: $0 hostname [command]" ; return 1; }
     node_key /etc/planetlab/debug_ssh_key.rsa "$@"
 }
-function node_boot () {
-    [[ -z "$@" ]] && { echo "Usage: $0 hostname [command]" ; return 1; }
-    node_key /etc/planetlab/root_ssh_key.rsa "$@"
-}
-
 function nodes_dbg () {
     [[ -z "$@" ]] && { echo "Usage: $0 hosts_file [command]" ; return 1; }
     node_keys /etc/planetlab/debug_ssh_key.rsa "$@"
 }
-function nodes_boot () {
-    [[ -z "$@" ]] && { echo "Usage: $0 hosts_file [command]" ; return 1; }
-    nodes_key /etc/planetlab/root_ssh_key.rsa "$@"
-}
-
-function clear_keys () {
+function clear_known_hosts () {
     for hostname in "$@"; do	
         sed -i "/$hostname/d" ~/.ssh/known_hosts
     done
-}
-	
+}