shell: add notes about DEs trying to be (un)helpful
authorAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 19:18:02 +0000 (15:18 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 19:18:02 +0000 (15:18 -0400)

No differences found