File Explorer

/etc/profile.d

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 /.

0 dirs
8 files
colorgrep.csh196 B · 12 lines
 # color-grep initialization /usr/libexec/grepconf.sh -cif ( $status == 1 ) then    exitendif alias grep 'grep --color=auto'alias egrep 'egrep --color=auto'alias fgrep 'fgrep --color=auto'