zshrc: Move linenr to its own file
authorFrank Terbeck <ft@bewatermyfriend.org>
Mon, 28 Nov 2011 21:05:06 +0000 (22:05 +0100)
committerMichael Prokop <mika@grml.org>
Tue, 6 Dec 2011 13:50:43 +0000 (14:50 +0100)
Signed-off-by: Frank Terbeck <ft@bewatermyfriend.org>
etc/zsh/zshrc
usr_share_grml/zsh/functions/linenr [new file with mode: 0644]

index 6409850..8726dbc 100644 (file)
@@ -3589,29 +3589,6 @@ fi
 #    fi
 #}
 
-#f2# Print a specific line of file(s).
-linenr () {
-    emulate -L zsh
-    if [ $# -lt 2 ] ; then
-       print "Usage: linenr <number>[,<number>] <file>" ; return 1
-    elif [ $# -eq 2 ] ; then
-         local number=$1
-         local file=$2
-         command ed -s $file <<< "${number}n"
-    else
-         local number=$1
-         shift
-         for file in "$@" ; do
-             if [ ! -d $file ] ; then
-                echo "${file}:"
-                command ed -s $file <<< "${number}n" 2> /dev/null
-             else
-                continue
-             fi
-         done | less
-    fi
-}
-
 #f2# Find history events by search pattern and list them by date.
 whatwhen()  {
     emulate -L zsh
diff --git a/usr_share_grml/zsh/functions/linenr b/usr_share_grml/zsh/functions/linenr
new file mode 100644 (file)
index 0000000..20d3862
--- /dev/null
@@ -0,0 +1,21 @@
+# Print a specific line of file(s).
+emulate -L zsh
+
+if [ $# -lt 2 ] ; then
+    print "Usage: linenr <number>[,<number>] <file>" ; return 1
+elif [ $# -eq 2 ] ; then
+    local number=$1
+    local file=$2
+    command ed -s $file <<< "${number}n"
+else
+    local number=$1
+    shift
+    for file in "$@" ; do
+        if [ ! -d $file ] ; then
+            echo "${file}:"
+            command ed -s $file <<< "${number}n" 2> /dev/null
+        else
+            continue
+        fi
+    done | less
+fi