Index: scripts/get_log |
diff --git a/scripts/get_log b/scripts/get_log |
index ff6dc8111871cbc286e2b39af6c1917ed05cdcaa..0393733b24d84108950f6ad27223f0afe9953f5a 100755 |
--- a/scripts/get_log |
+++ b/scripts/get_log |
@@ -9,8 +9,10 @@ |
# with empty entries that just look broken. |
max_lines=${2:-1000} |
- |
file=$1 |
+ |
+[ "$file" = "/dev/stdin" ] && tail --lines=$max_lines "$file" && exit |
+ |
if [ -h "$file" ]; then |
file="$(readlink -f $file)" |
fi |