extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2024-12-12 17:20:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

batman: Split short options

Browse Source
This commit is contained in:
Ethan P. 2023-09-19 10:46:46 -07:00
parent c29dfb136a
commit f192b7a7d8
No known key found for this signature in database
GPG Key ID: B29B90B1B228FEBC
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/batman.sh
View File

@ -24,6 +24,7 @@ FORWARDED_ARGS=()
MAN_ARGS=() MAN_ARGS=()
BAT_ARGS=() BAT_ARGS=()
SHIFTOPT_SHORT_OPTIONS="SPLIT"
while shiftopt; do while shiftopt; do
case "$OPT" in case "$OPT" in
--paging|--pager) shiftval; FORWARDED_ARGS+=("${OPT}=${OPT_VAL}"); --paging|--pager) shiftval; FORWARDED_ARGS+=("${OPT}=${OPT_VAL}");