/etc/csh/login.d/desktop-profiles.csh is in desktop-profiles 1.4.20.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | #!/bin/csh
# This fixes the desktop-profiles corner-case where a graphical client is
# started through an ssh -X session (in which the Xsession.d scripts aren't
# run, so we need to make sure the profiles are activated according to the
# specified settings at login).
set DESKTOP_PROFILES_SNIPPET="/usr/share/desktop-profiles/get_desktop-profiles_variables"
if (-e $DESKTOP_PROFILES_SNIPPET) then
# initialization
set TEMP_FILE=`tempfile`
# use bash to write the required environment settings to a tempfile
# this file has a VARIABLE=VALUE format
bash $DESKTOP_PROFILES_SNIPPET $TEMP_FILE
# convert to csh format and source to set the required environment variables
sed -i 's/^\(.*\)=\(.*\)$/setenv \1 \2/' $TEMP_FILE
source $TEMP_FILE
# cleanup
rm $TEMP_FILE
endif
|