mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-04-11 08:08:06 -05:00

Ian Jackson observes that if PATH is not set in the environment, current versions of bash will pick a default one that has "." as the last directory, which is generally considered a terrible idea: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991959 Work around this by specifying a more sensible default in our example script, per Ian's suggestion in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991960