diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2019-09-17 03:07:48 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2019-09-17 03:10:37 +0300 |
| commit | c03d309102ec00571c991c48f23f9c03e0d78f32 (patch) | |
| tree | c21df9e685c086c9b993e66ffd08e9d56e51e99c | |
| parent | Travis: add badge to README (diff) | |
| download | vk-scripts-c03d309102ec00571c991c48f23f9c03e0d78f32.tar.gz vk-scripts-c03d309102ec00571c991c48f23f9c03e0d78f32.zip | |
Travis: proper binary output detection in online_sessions.sh
| -rwxr-xr-x | .travis/online_sessions.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis/online_sessions.sh b/.travis/online_sessions.sh index 79ce878..112b46e 100755 --- a/.travis/online_sessions.sh +++ b/.travis/online_sessions.sh @@ -16,7 +16,8 @@ _online_sessions() { echo "Running online_sessions.py..." python3 -m bin.online_sessions "$@" "$db_path" "$output_path" - if file --brief --dereference --mime -- "$output_path" | grep --quiet -- '^binary'; then + if file --brief --dereference --mime -- "$output_path" | grep --quiet -- 'charset=binary$'; then + echo 'Output is a binary file, not going to show that' return 0 fi |