File Explorer

/etc

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

32 dirs
45 files
csh.cshrc1.6 KB · 73 lines
# /etc/cshrc## csh configuration for all shell invocations. # By default, we want this to get set.# Even for non-interactive, non-login shells.# Current threshold for system reserved uid/gids is 200# You could check uidgid reservation validity in# /usr/share/doc/setup-*/uidgid fileif ($uid > 199 && "`/usr/bin/id -gn`" == "`/usr/bin/id -un`") then    umask 002else    umask 022endif if ($?prompt) then  if ($?tcsh) then    set promptchars='$#'    set prompt='[%n@%m %c]%# '    # make completion work better by default    set autolist  else    set prompt=\[$user@`/usr/bin/hostnamectl --transient | cut -d'.' -f1`\]\$\   endifendif if ( $?tcsh ) then	bindkey "^[[3~" delete-charendif bindkey "^R" i-search-backset echo_style = bothset histdup = eraseset savehist = (1024 merge) if ($?prompt) then  if ($?TERM) then    switch($TERM)      case xterm*:        if ($?tcsh) then	  set prompt='%{\033]0;%n@%m:%c\007%}[%n@%m %c]%# '        endif        breaksw      case screen:        if ($?tcsh) then          set prompt='%{\033k%n@%m:%c\033\\%}[%n@%m %c]%# '        endif        breaksw      default:        breaksw    endsw  endifendif setenv MAIL "/var/spool/mail/$USER" # Check if we aren't a loginshell and do stuff if we aren'tif (! $?loginsh) then    if ( -d /etc/profile.d ) then        set nonomatch        foreach i ( /etc/profile.d/*.csh )            if ( -r "$i" ) then                if ($?prompt) then                    source "$i"                else                    source "$i" >&/dev/null                endif            endif        end        unset i nonomatch    endifendif