@Kusalananda my colleague told me it's Linux. But I suspect he is wrong. I will recheck that
– RolandMay 08 '20 at 14:41
1
@Roland Do consider updating your question with the type of Unix you're using, the version of `ksh` that is in use, and whether `~(N)docs*.txt` works as you want it to or not. Unfortunately there are a number of various `ksh` shells (`ksh88`, `ksh93`, `pdksh` and `mksh`), and they work slightly differently compared to each other.
– KusalanandaMay 08 '20 at 14:48
@Roland see https://unix.stackexchange.com/questions/199900/how-can-i-safely-get-the-version-of-ksh for help in determining the ksh version.
– Jeff SchallerMay 08 '20 at 18:35