Remove ssh known key in a user-generic fashion

diff --git a/profile/base/remove-host b/profile/base/remove-host
index 6d9d046a6122aba4c1033807e29f53a199e10935..53cf618893763c706aa44cd81a4f8f17f20ce351 100644 (file)
--- a/profile/base/remove-host
+++ b/profile/base/remove-host
@@ -2,6 +2,8 @@
 grep -v "^${VSIPADDR}" /etc/hosts > /etc/hosts.new
 mv /etc/hosts.new /etc/hosts
 
-grep -v "^${VSNAME}" /home/martyn/.ssh/known_hosts > /home/martyn/.ssh/known_hosts.new
-chown martyn:martyn /home/martyn/.ssh/known_hosts.new
-mv /home/martyn/.ssh/known_hosts.new /home/martyn/.ssh/known_hosts
+USR=$PROFILEOPTION_username
+
+grep -v "^${VSNAME}" /home/${USR}/.ssh/known_hosts > /home/${USR}/.ssh/known_hosts.new
+chown ${USR}:${USR} /home/${USR}/.ssh/known_hosts.new
+mv /home/${USR}/.ssh/known_hosts.new /home/${USR}/.ssh/known_hosts