manmenu

#!/bin/sh
pagetitle=$(man -k . | fzf)
if [[ -n "$pagetitle" ]]; then
    echo "$pagetitle" | while read -r name num _; do
        num=${num%)}
        num=${num#(}
        echo -ne "\033]0;man $num $name\007"
        exec /usr/bin/man "$num" "$name"
    done
fi