diff options
| author | 0scar <qgt268@alumni.ku.dk> | 2025-02-13 16:45:55 +0000 |
|---|---|---|
| committer | 0scar <qgt268@alumni.ku.dk> | 2025-02-13 16:45:55 +0000 |
| commit | e8d5c7f03b2fabd63cb87e26c303e73e0782ef17 (patch) | |
| tree | 02478ccdf3076112bd1777bd58751310c498d043 /.local/bin/open_man | |
| parent | 197e6184db0c9bedaa53c5acf4f69ab6f1af1ef7 (diff) | |
Update config
Diffstat (limited to '.local/bin/open_man')
| -rwxr-xr-x | .local/bin/open_man | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/.local/bin/open_man b/.local/bin/open_man index b37d94b..778a479 100755 --- a/.local/bin/open_man +++ b/.local/bin/open_man @@ -2,12 +2,7 @@ MENU_CMD=dmenu "$@" -if [ "$XDG_SESSION_TYPE" = "wayland" ]; then - MENU_CMD=bemenu "$@" - TERM=$TERM -d none -else - MENU_CMD=dmenu "$@" -fi +[ "$XDG_SESSION_TYPE" = "wayland" ] && MENU_CMD=bemenu "$@" cachedir=${XDG_CACHE_HOME:-"$HOME/.cache"} if [ -d "$cachedir" ]; then @@ -18,6 +13,8 @@ else # if no xdg dir, fall back to dotfiles in ~ historyfile=$HOME/.dmenu_man_history fi +#FONT="DejaVuSansMono Nerd Font Mono:pixelsize=16:antialias=true:autohint=true:style=book" + # Generate a new cache if necessary if stest -dqr -n "$cache" /usr/share/man/**/*; then ls /usr/share/man/**/* \ @@ -60,7 +57,6 @@ awk -v histfile=$historyfile ' | while read MAN; do VERSION=$(echo $MAN | sed -Ee 's/.* \(([0-9].*)\)/\1/g') PAGE=$(echo $MAN | sed -Ee 's/(.*) \([0-9].*\)/\1/g') - ## Uncomment for debugging #echo "Man: $VERSION $PAGE" $TERM man $VERSION $PAGE done |