gnome-shell-extension-ddterm
gnome-shell-extension-ddterm copied to clipboard
Feature: Favourites / Shortcuts - A possibility to run specific shell commands
Hello,
I would love to have a small menu bar at the top or bottom, where I can place custom clickable shell commands.
Examples:
- home - command
cd "$HOME" - monitoring - command
btop/htop/top - sysupgrade - command
sudo apt update && sudo apt -y upgrade && sudo apt -y dist-upgrade
Configuration:
- Text (Here it would be great, if emojis were supported) - so you could have text but also icons or combinations
- Command
- Confirmation required (yes / no) - for
rmcommands or something risky
🏠 home | 🖥️ monitoring | 🔄 sysupgrade
____________________________________
$ cd "$HOME"
____________________________________
Alt + 1 | + | ^ |
____________________________________
What do you think?
I think one way to implement this feature with minimal changes to the UI would be displaying a menu with the favorite commands when the new tab button is clicked. Would that fit your use-case?
This could be implemented through profiles https://github.com/ddterm/gnome-shell-extension-ddterm/issues/638 - like in GNOME Terminal