Sujet : Re: glob not working during startup
De : saitology9 (at) *nospam* gmail.com (saito)
Groupes : comp.lang.tclDate : 27. May 2025, 17:45:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1014q6u$2n87g$1@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 5/27/2025 2:43 AM, Christian Gollwitzer wrote:
Hint for debugging: Whenever you assume that it is failing, try this:
trace add execution glob enter echo
Nice trick!
In this specific case, I think it may be simpler to just remove the option "-nocomplain" from glob and let it complain 🙂
glob not working during startup
Re: glob not working during startup