Hyper
Terminal Emulator
Useful Shortcuts
Ctrl-Shift ( - Split terminal right
Config File
Konsole profiles and bookmarks are located here:
~/.local/share/konsole
Use dotfiles to store Konsole config.
Create New Profile
Create new profile:
Menu > Settings > Manage Profiles, then New
Configure profile.
Add alias for new profile to .bash_aliases:
alias [the-profile-name]="konsole --profile [the-profile-name]&"
Example:
alias docserver = "konsole --profile docserver&"
Review, then test:
alias | grep [the-profile-name]
[the-alias-name]
Profiles
docserver
MkDocs - docs-pub
GUI
General:
- Name: docserver
- Command: mkdocs serve
- Initial dir: ~/prod/docs-pub
Tabs:
- Tab title format: MkDocs
Appearance:
- Something different
<div class="ab-buttons">
<div class="item-00 box1"><ULink to="install/"><p>Install</p></ULink></div>
<div class="item-00 box1"><ULink to="config/"><p>Config</p></ULink></div>
<div class="item-00 box1"><ULink to="plugins/"><p>Plugins</p></ULink></div>
</div>