Я закончил тем просто, что произвел чистку dhcp3-сервера и использовал dnsmasq вместо этого. Я прошел конфигурационный файл для него и смог использовать примеры, которые это прокомментировало для конфигурирования моего сервера, как мне было нужно. dnsmasq также имеет созданный в tftp сервере, который я использовал для начальной загрузки PXE.
С zsh Вы могли сделать что-то как:
#! /bin/zsh -
(($+ARG0_SET)) || ARG0_SET= ARGV0="#Running on 10.10.45.10" exec zsh "$0" "$@"
ps -f -p "$$"
Который, когда выполненный дает:
~$ ./a
UID PID PPID C STIME TTY TIME CMD
chazelas 20157 8822 0 21:51 pts/1 00:00:00 #Running on 10.10.45.10 ./a
ksh93
эквивалентный был бы:
#! /bin/ksh93 -
((${#ARG0_SET})) || ARG0_SET=yes exec -a "#Running on 10.10.45.10" ksh93 "$0" "$@"
ps -f -p "$$"