Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
#!/bin/rc
echo reboot $* > /dev/reboot