From 67cc4544f756aa392101dc385301398d1a30d0fe Mon Sep 17 00:00:00 2001 From: Thomas Haller Date: Mon, 17 Aug 2020 10:58:10 +0200 Subject: [PATCH] scripts: use "/bin/cat" in NM-log Ubuntu 16.04 doesn't have merged /usr directories and cat is in /bin/cat. --- contrib/scripts/NM-log | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/scripts/NM-log b/contrib/scripts/NM-log index a36ff35e0a..65453a7e24 100755 --- a/contrib/scripts/NM-log +++ b/contrib/scripts/NM-log @@ -44,10 +44,10 @@ NM-colorize() { if [[ "$NM_LOG_GREP" != "" ]]; then GREP_COLOR='01;36' grep -a --color=always "^\\|$NM_LOG_GREP" else - /usr/bin/cat - + /bin/cat - fi else - /usr/bin/cat - + /bin/cat - fi }