Hyper

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. See Profiles for examples.

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