Administration

Adding a new user

Currently, you must manually choose a UID/GID, and manually edit /etc/passwd, /etc/group and /etc/shadow.

echo "$USER:x:$UID:$UID:$NAME:/home/$USER:/bin/ksh" >> /etc/passwd
echo "$USER:x:$UID:" >> /etc/group
echo "$USER:*:::::::" >> /etc/shadow
mkdir /home/$USER
chown $USER:$USER /home/$USER
passwd $USER

Enabling sshd

First, generate host keys, then activate the sshd service.

ssh-keygen -A
perpctl A sshd

Enable DHCP on eth0

First, run ip link set eth0 up and add this to your rc.local.

ip link set eth0 up
$EDITOR /etc/rc.local

Create a new service directory for sdhcp@eth0.

cd /etc/perp
mkdir sdhcp@eth0
ln -s ../.sdhcp/rc.main ../.default/rc.log sdhcp@eth0

Activate sdhcp@eth0.

perpctl A sdhcp@eth0

Changing keyboard layout in velox

cat >> ~/.profile <<EOF
export XKB_DEFAULT_LAYOUT=$LAYOUT
export XKB_DEFAULT_VARIANT=$VARIANT
EOF