diff options
Diffstat (limited to 'steuermann/hosts.ini')
| -rw-r--r-- | steuermann/hosts.ini | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/steuermann/hosts.ini b/steuermann/hosts.ini index 8c42254..cb0dcfe 100644 --- a/steuermann/hosts.ini +++ b/steuermann/hosts.ini @@ -61,6 +61,12 @@ like=cadeau ; actual machines +[nott] +hostname=nott +like=linux:csh +workdir=/srv/work +maxproc=32 + [jwcalibdev] hostname=jwcalibdev like=linux:csh |