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
gawk.sh757 B · 32 lines
gawkpath_default () {	unset AWKPATH	export AWKPATH=`gawk 'BEGIN {print ENVIRON["AWKPATH"]}'`} gawkpath_prepend () {	[ -z "$AWKPATH" ] && AWKPATH=`gawk 'BEGIN {print ENVIRON["AWKPATH"]}'`	export AWKPATH="$*:$AWKPATH"} gawkpath_append () {	[ -z "$AWKPATH" ] && AWKPATH=`gawk 'BEGIN {print ENVIRON["AWKPATH"]}'`	export AWKPATH="$AWKPATH:$*"} gawklibpath_default () {	unset AWKLIBPATH	export AWKLIBPATH=`gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'`} gawklibpath_prepend () {	[ -z "$AWKLIBPATH" ] && \		AWKLIBPATH=`gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'`	export AWKLIBPATH="$*:$AWKLIBPATH"} gawklibpath_append () {	[ -z "$AWKLIBPATH" ] && \		AWKLIBPATH=`gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'`	export AWKLIBPATH="$AWKLIBPATH:$*"}