[hackers] wmii: new tip (= 1730)

From: Anselm R. Garbe <arg_AT_suckless.org>
Date: Sun, 04 Feb 2007 22:00:08 +0100

changeset: 1730:2302e402a919
tag: tip
user: Kris Maglione <jg_AT_suckless.org>
date: Sun Feb 04 15:56:42 2007 -0500
files: rc/wmiirc
description:
Switch to sed -E in tagsmenu() to clean it up/fix a bug

diff -r 7aa8e0f939ce -r 2302e402a919 rc/wmiirc
--- a/rc/wmiirc Sun Feb 04 13:31:12 2007 -0500
+++ b/rc/wmiirc Sun Feb 04 15:56:42 2007 -0500
@@ -21,7 +21,7 @@ conf_which () {
 
 tagsmenu() {
         tag=`wmiir read /tag/sel/ctl`
- wmiir ls /tag | { echo $tag; sed "s|/||; /^\(sel|$tag\)\$/d";} | $DMENU
+ wmiir ls /tag | { echo $tag; sed -E "s|/||; /^(sel|$tag)\$/d";} | $DMENU
 }
 
 # CONFIGURATION VARIABLES
Received on Sun Feb 04 2007 - 22:00:08 UTC

This archive was generated by hypermail 2.2.0 : Sun Jul 13 2008 - 15:54:52 UTC