diff options
author | Ilya Epifanov <elijah.epifanov@gmail.com> | 2018-11-19 10:24:22 +0100 |
---|---|---|
committer | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-11-19 09:24:22 +0000 |
commit | fc04bc1e6dfc6f1bd3f0a70b1d6d2b6cbc551d40 (patch) | |
tree | ffbfe7b635c4d4b2174ee1277ff1d8118cf31a3b /INSTALL.md | |
parent | 42d89899162164128364c503cee29dc65103d55d (diff) |
Changed path to standard /usr/bin/..., registered as an x-terminal-emulator alternative
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -222,6 +222,12 @@ cargo install cargo-deb cargo deb --install ``` +To choose a default terminal app, use Debian's `update-alternatives`. + +```sh +update-alternatives --config x-terminal-emulator +``` + ## Manual Page Installing the manual page requires the additional dependency `gzip`. |