From 0251f98c0f71eb0028c5ad3a50cd9dc2825745e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yaroslav=20de=20la=20Pe=C3=B1a=20Smirnov?= Date: Fri, 23 Sep 2022 04:05:59 +0300 Subject: Terminal related improvements turns out had to set the 'foot-extra' option so that neovim would properly change the terminal's title. --- dotfiles/.config/foot/foot.ini | 3 +++ dotfiles/.local/bin/menuman | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) (limited to 'dotfiles') diff --git a/dotfiles/.config/foot/foot.ini b/dotfiles/.config/foot/foot.ini index 39f2f93..458d386 100644 --- a/dotfiles/.config/foot/foot.ini +++ b/dotfiles/.config/foot/foot.ini @@ -1,8 +1,11 @@ dpi-aware = no font = monospace:size=10 +login-shell = yes +term = foot-extra [colors] +alpha = 0.92 foreground = fcf8e2 #white background = 151517 #black diff --git a/dotfiles/.local/bin/menuman b/dotfiles/.local/bin/menuman index d7aaa1f..26c9bfc 100755 --- a/dotfiles/.local/bin/menuman +++ b/dotfiles/.local/bin/menuman @@ -61,4 +61,4 @@ if [ ! -z "$isterminal" ]; then man "$chosen" && exit fi -$TERMINAL -T "Manual pages - $chosen" man $chosen +$TERMINAL $SHELL -ic "man \"$chosen\"" -- cgit v1.2.3