blob: f86f1f975e65d78f8c609eebe7df142056817b09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
#!/usr/bin/env bash
cachedir=${XDG_CACHE_HOME:-"$HOME/.cache"}
if [ -d "$cachedir" ]; then
cache=$cachedir/dmenu_run_man
historyfile=$cachedir/dmenu_man_history
else # if no xdg dir, fall back to dotfiles in ~
cache=$HOME/.dmenu_cache_man
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/**/* \
| sed -Ee 's/^.*\///g;s/(\.gz)?//g;/:$/d;/^ *$/d;s/(.*)\.([0-9].*)$/\1 (\2)/g' \
| sort -u > $cache
fi
awk -v histfile=$historyfile '
BEGIN {
while( (getline < histfile) > 0 ) {
sub("^[0-9]+\t","")
print
x[$0]=1
}
} !x[$0]++ ' "$cache" \
| dmenu "$@" \
| awk -v histfile=$historyfile '
BEGIN {
FS=OFS="\t"
while ( (getline < histfile) > 0 ) {
count=$1
sub("^[0-9]+\t","")
fname=$0
history[fname]=count
}
close(histfile)
}
{
history[$0]++
print
}
END {
if(!NR) exit
for (f in history)
print history[f],f | "sort -t '\t' -k1rn >" histfile
}
' \
| while read MAN; do
VERSION=$(echo $MAN | sed -Ee 's/.* \(([0-9].*)\)/\1/g')
PAGE=$(echo $MAN | sed -Ee 's/(.*) \([0-9].*\)/\1/g')
#echo "Man: $VERSION $PAGE"
st -e man $VERSION $PAGE
done
|
