diff options
author | hut <hut@hut.pm> | 2017-12-20 02:10:29 +0100 |
---|---|---|
committer | hut <hut@hut.pm> | 2017-12-20 02:10:29 +0100 |
commit | 9a3fc5d8c90048bd02c8ca5ed8c7b0d7c46fb898 (patch) | |
tree | a644836abd465d5d05fcdbc8e679cdc2ae18d1ff | |
parent | 9fb497e90ceb6a66b5944b0f443464b5a28f5be1 (diff) | |
download | ranger-9a3fc5d8c90048bd02c8ca5ed8c7b0d7c46fb898.tar.gz |
data/scope.sh: added --force to "highlight" command, fixes #988
-rwxr-xr-x | ranger/data/scope.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ranger/data/scope.sh b/ranger/data/scope.sh index 560e27da..35021129 100755 --- a/ranger/data/scope.sh +++ b/ranger/data/scope.sh @@ -142,7 +142,7 @@ handle_mime() { local highlight_format='ansi' fi highlight --replace-tabs="${HIGHLIGHT_TABWIDTH}" --out-format="${highlight_format}" \ - --style="${HIGHLIGHT_STYLE}" -- "${FILE_PATH}" && exit 5 + --style="${HIGHLIGHT_STYLE}" --force -- "${FILE_PATH}" && exit 5 # pygmentize -f "${pygmentize_format}" -O "style=${PYGMENTIZE_STYLE}" -- "${FILE_PATH}" && exit 5 exit 2;; |