display filename and line number

2015-08-31 00:10:51 -04:00
parent 8c8cc9fdfd
commit 01e6fbaef0
1 changed files with 1 additions and 0 deletions
@@ -18,6 +18,7 @@ file_line () {
  local FILE=$1
  local LINE=$2

+  echo -n "$FILE:$LINE "
  head -n $LINE $FILE | tail -1
 }