diff options
Diffstat (limited to 'kill')
-rwxr-xr-x | kill | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -0,0 +1,8 @@ +#! /bin/sh +if [ -f emu.pid ]; then + kill $(cat emu.pid) + rm emu.pid + echo "RIP" +else + echo "nothing to RIP" +fi |
index : ixos | ||
"x86 os from scratch". a bootloader and a bit of 16-bit C |
summaryrefslogtreecommitdiff |