Markus Zolliker
886d25ccee
instead of 'nicos gui' / 'nicos cli' beacuse of possible conflict with existing nicos command
servicemanager
A manager for starting, stopping and listing services/servers like frappy, nicos and sea.
Several instances of nicos, frappy, sea and seweb might run on the same machine.
contains also getsestuff, the script to manage the repos on all instruments