Path instellen linux, SSH short server names

PATH="/home/dirk/scripts:$PATH"

SSH short server names

Je kan in de file .ssh/config verkorte namen instellen voor servernamen.
ws1.proxmos.volume.nl kan je maken tot ws1

Host digisign
        HostName server01.digisign.nl

Host glas8
        HostName glas8.etd.nl