File Explorer

/usr/libexec

This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.

5 dirs
3 files
grepconf.sh257 B · 12 lines
#!/usr/bin/sh case "$1" in    -c | --interactive-color)        ! grep -qsi "^COLOR.*none" /etc/GREP_COLORS        ;;    *)        echo >&2 "Invalid / no option passed, so far only -c | --interactive-color is supported."        exit 1        ;;esac