Hi all, I know of three dropdown terminals: Guake, Tilda and Deepin Terminal. Guake is getting more wedded to Gnome3 every day, so I decided to try Tilda. It's very nice.
Like most FOSS, it's underdocumented, so I wrote the following documentation for it: http://troubleshooters.com/linux/tilda.htm SteveT Steve Litt August 2019 featured book: Twenty Eight Tales of Troubleshooting http://www.troubleshooters.com/28 _______________________________________________ Dng mailing list [email protected] https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
