extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2025-06-20 19:57:46 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug where some man pages would fail to open

Browse Source 
Some man page sections contain alphabetical characters (e.g. 3bsd,
3perl, 3ssl.) This fixes a bug where selection of such pages would
not open any man page.
This commit is contained in:
Eoin Mcloughlin 2022-08-20 21:18:13 +01:00 committed by Ethan P
parent 3917100c6e
commit e9daffde45
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/batman.sh
View File

@ -60,7 +60,7 @@ if [[ "${#MAN_ARGS[@]}" -eq 0 ]] && [[ -z "$BATMAN_LEVEL" ]] && command -v "$EXE
# Convert the page(section) format to something that can be fed to the man command. # Convert the page(section) format to something that can be fed to the man command.
while read -r line; do while read -r line; do
if [[ "$line" =~ ^(.*)\(([0-9]+)\)$ ]]; then if [[ "$line" =~ ^(.*)\(([0-9a-zA-Z]+)\)$ ]]; then
MAN_ARGS+=("${BASH_REMATCH[2]}" "$(echo ${BASH_REMATCH[1]} | xargs)") MAN_ARGS+=("${BASH_REMATCH[2]}" "$(echo ${BASH_REMATCH[1]} | xargs)")
fi fi
done <<< "$selected_page" done <<< "$selected_page"