#! /bin/sh
#
# build menu for my remote hosts list for golem simple_menus
#
# to use this, put a line like
#	.exec "/path/to/menu-ssh-hosts"
# in your ~/.golem/plugins/simple_menus/rc
#

terminal=aterm

hosts=`cat ~/.ssh/known_hosts* | sed 's/[, ].*//g' | sort | uniq`

echo 'param "submenu" "Remote Terminal" {'

for i in $hosts ; do
	echo "	param \"command\" \"$i\""
	echo "		{ param \"dat\" \"exec $terminal -e ssh $i\"; }"
done

echo '}'
