#1228: rename 'mike2' in simfactory to just 'mike' -------------------------+-------------------------------------------------- Reporter: knarf | Owner: eschnett Type: enhancement | Status: new Priority: minor | Milestone: Component: SimFactory | Version: Keywords: | -------------------------+-------------------------------------------------- I would like to rename the machine 'mike2' in simfactory to just 'mike', as there is no 'mike1', and while the machine _is_ called "Supermike 2", even the login node is usually 'mike1'. But of course the main reason is that I am lazy to type the '2'. :)
#1228: rename 'mike2' in simfactory to just 'mike' --------------------------+------------------------------------------------- Reporter: knarf | Owner: eschnett Type: enhancement | Status: review Priority: minor | Milestone: Component: SimFactory | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by knarf):
* status: new => review
#1228: rename 'mike2' in simfactory to just 'mike' --------------------------+------------------------------------------------- Reporter: knarf | Owner: eschnett Type: enhancement | Status: reviewed_ok Priority: minor | Milestone: Component: SimFactory | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by eschnett):
* status: review => reviewed_ok
Comment:
Go ahead.
#1228: rename 'mike2' in simfactory to just 'mike' --------------------------+------------------------------------------------- Reporter: knarf | Owner: eschnett Type: enhancement | Status: closed Priority: minor | Milestone: Component: SimFactory | Version: Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by knarf):
* status: reviewed_ok => closed * resolution: => fixed
trac@lists.einsteintoolkit.org
-
Einstein Toolkit