Extra files: Difference between revisions
(Created page with "<code>/usr/local/extrafiles</code> is a directory on the cfengine hub to which teaching staff have full access. The contents of this directory are synch'ed by <code>cf-agent</code> to the same-named directory on all user-loginable New World computers (i.e., lab computers, login servers and VLAB servers). Additionally, all user-loginable computers have the following two files installed in <code>/etc/profile.d</code>: # <code>extrafiles.sh</code> # <code>extr...") |
m (Plinich moved page /usr/local/extrafiles to Extra files) |
(No difference)
|
Revision as of 16:56, 18 July 2022
/usr/local/extrafiles
is a directory on the cfengine hub to which teaching staff have full access. The contents of this directory are synch'ed by cf-agent
to the same-named directory on all user-loginable New World computers (i.e., lab computers, login servers and VLAB servers).
Additionally, all user-loginable computers have the following two files installed in /etc/profile.d
:
extrafiles.sh
extraprofile.sh
The first, extrafiles.sh
, configures two environment paths so users automatically have /usr/local/extrafiles/bin
in their PATH and so that their PYTHONPATH is set to /usr/local/extrafiles/lib
.
The second, extraprofile.sh
, checks for the presence of /usr/local/extrafiles/extraprofile.sh
and, if found, executes it in the environment of the current shell thus allowing teaching staff to further customise the execution environment of users without CSG's involvement.