Closed cruvolo closed 4 years ago
Looking at /proc/$PPID/cmdline gave incorrect results of csh instead of tcsh on my debian system. This change uses /proc/$PPID/exec instead, which seems to be more reliable. Tested with bash and dash as well, successfully.
/proc/$PPID/cmdline
csh
tcsh
/proc/$PPID/exec
Looks good to me, merged.
Thanks!
Looking at
/proc/$PPID/cmdline
gave incorrect results ofcsh
instead oftcsh
on my debian system. This change uses/proc/$PPID/exec
instead, which seems to be more reliable. Tested with bash and dash as well, successfully.