On Tue, May 19, 2026 at 08:16:55AM -0000, André Verwijs wrote:
> proposal: add "$PATH" to any "SET PATH" command witin ALL system
> scripts/configuration files
> to make sure a PATH set by (end)user does not get replaced or at least
> included...
>
> Example: (/etc/csh.login)
> change:
> if ( ! ${?PATH} ) then
> if ( $uid == 0 ) then
> setenv PATH "/usr/local/sbin:/usr/sbin:/usr/local/bin:/usr/bin"
> else
> setenv PATH "/usr/local/bin:/usr/bin:/usr/local/sbin:/usr/sbin"
> endif
> to:
> if ( ! ${?PATH} ) then
> if ( $uid == 0 ) then
> setenv PATH
> "$PATH:/usr/local/sbin:/usr/sbin:/usr/local/bin:/usr/bin"
> else
> setenv PATH
> "$PATH:/usr/local/bin:/usr/bin:/usr/local/sbin:/usr/sbin"
> endif
In addition to Richard's question, what do you think if ( ! ${?PATH} ) means?
G'luck,
Peter
--
Peter Pentchev [email protected] [email protected] [email protected]
PGP key: https://www.ringlet.net/roam/roam.key.asc
Key fingerprint 2EE7 A7A5 17FC 124C F115 C354 651E EFB0 2527 DF13
signature.asc
Description: PGP signature
-- _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://forge.fedoraproject.org/infra/tickets/issues/new
