Skip to content

Instantly share code, notes, and snippets.

#!/bin/bash
SERVER=https://api.no.de
SCRIPT="$0"
if [ ${SCRIPT:0:1} == "/" ]; then
SCRIPT="$(basename -- "$SCRIPT")"
fi
main () {
cmd=${1-help}
process.on("unhandledException", function (er) {
console.error(er.stack)
process.exit(er.errno || 1)
})
# Create a more gnuish userspace
cmds="ar as awk basename cat chgrp chmod chown chroot cksum cmp comm
cp csplit cut date dd df diff diff3 diffmk dirname du echo
egrep env eqn expand expr factor false fgrep find fmt fold gprof
grep groups head hostid id indxbib install join kadmin kill ld link
ln logname lookbib ls make mkdir mkfifo mknod mktemp mv neqn nice nl
nm nohup nroff od paste patch pathchk pr printf prof pwd ranlib
refer rm rmdir sdiff sed size sleep soelim sort split strings strip