diff options
| author | Thomas Haller <thaller@redhat.com> | 2020-08-17 10:58:10 +0200 |
|---|---|---|
| committer | Thomas Haller <thaller@redhat.com> | 2020-08-17 10:58:19 +0200 |
| commit | 67cc4544f756aa392101dc385301398d1a30d0fe (patch) | |
| tree | d693b94ee53631469aa62c881dceabb6f714069c /contrib | |
| parent | 80c93b0e5e1554fe894d5e94c59ebb29b702da42 (diff) | |
| download | NetworkManager-67cc4544f756aa392101dc385301398d1a30d0fe.tar.gz | |
scripts: use "/bin/cat" in NM-log
Ubuntu 16.04 doesn't have merged /usr directories and cat is in
/bin/cat.
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/scripts/NM-log | 4 |
1 files 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 } |