terminal
terminal copied to clipboard
elementary
Terminal emulator designed for elementary OS
### What Happened? keybinds like ctrl+shift+right don't work ### Steps to Reproduce start micro editor use keybinds ctrl+shift+right/left ### Expected Behavior keybinds should work ### OS Version 6.x (Odin) ###...
## What Happened When you open terminal and some tabs, then when you close manually terminal, the tabs will be restored, but when you not close manually terminal but perform...
The notifications could be improved alot. For example, lets take a command: sudo apt-get install gimp Now, when the task is finished, instead of displaying "sudo apt-get install gimp" we...
Instead of adding a whole new toolbar, re-use this title area that has nothing else in it 
### Problem When switching 6 more multiple tabs in a terminal using ALT + tab-number, it is pain to count its number repeatedly. ### Proposal It will be nice that...
Fixes #625 Rather than allowing all '#' characters in URLs this only allows those in the sequence '/#' which might be fragment identifiers. Open to suggestions for a more elegant...
### What Happened? When clicking on a link in a Terminal window, the character '#' is escaped when it shouldn't be, so the link the browser sees includes '%23' instead...
### What Happened? I've noticed opening links is way too easy in the elementary OS Terminal compared to any other terminal emulator I've used before, and the biggest issue is...
### Problem I use some VT100 control characters in my scripts. I've found that Elementary Terminal seems to ignore them. [`bigtext`](https://github.com/colindean/hejmo/blob/master/scripts/bigtext): ```bash #!/bin/sh text="${*}" printf "\033#3%s\n" "${text}" printf "\033#4%s\n" "${text}"...
