2020-02-20 06:33:40 +01:00
|
|
|
#!/usr/bin/env bash
|
2020-10-29 03:32:24 +01:00
|
|
|
exec 3<&0
|
|
|
|
|
|
2020-02-20 06:33:40 +01:00
|
|
|
# Find the real bat.
|
|
|
|
|
HERE="$(cd "$(dirname "$0")" && pwd)"
|
|
|
|
|
while read -d ':' -r dir; do
|
2020-05-07 03:56:27 +02:00
|
|
|
if [[ "$dir" == "$HERE" || -z "$dir" ]]; then continue; fi
|
2020-02-20 06:33:40 +01:00
|
|
|
if [[ -f "${dir}/bat" ]]; then
|
2020-10-29 03:32:24 +01:00
|
|
|
exec "${dir}/bat" "$@" --no-config --theme="Monokai Extended" <&3
|
2020-02-20 06:33:40 +01:00
|
|
|
fi
|
2020-05-07 03:56:27 +02:00
|
|
|
done <<<"$PATH:"
|
|
|
|
|
|
|
|
|
|
# Print error and exit.
|
|
|
|
|
echo "bat was not found on \$PATH" 1>&2
|
|
|
|
|
exit 127
|
