[dev] swaprootname -- a tool just a little bit more useful than xsetroot -name.

2013-02-21 Thread Alexander Sedov
>From README: > Use > swaprootname "New name" > to persistently change root window name, or > echo "New name1\nNew name2\n..." | swaprootname > to temporarily set root window name(s) and revert it to original one on EOF. Feel free to use it for your pleasure. swaprootname-0.1.tar.gz Descr

Re: [dev][surf] disable scrollbars patch

2013-02-21 Thread Carlos Torres
yeah, for a while i had been using thinice cause it had skinny scrollbars. On Thu, Feb 21, 2013 at 12:15 PM, wrote: > * Carlos Torres 2013-02-21 16:34 >> Attached you'll find a patch that adds the -b flag to disable scroll_b_ars, >> they can also be disabled with config.h > > Great. > > Currentl

Re: [dev][surf] disable scrollbars patch

2013-02-21 Thread stanio
* Carlos Torres 2013-02-21 16:34 > Attached you'll find a patch that adds the -b flag to disable scroll_b_ars, > they can also be disabled with config.h Great. Currently I'm using a gtk hack to make bars less annoying and got accustomed to having a non-intrusive indication about the pane size and

[dev][surf] disable scrollbars patch

2013-02-21 Thread Carlos Torres
Attached you'll find a patch that adds the -b flag to disable scroll_b_ars, they can also be disabled with config.h Enjoy :) scrollbars-b.patch Description: Binary data

Re: [dev] Makefile/markdown based static site generator

2013-02-21 Thread Patrick Haller
On 2013-02-21 10:19, sta...@cs.tu-berlin.de wrote: > of course: > sed -n '/^\s*

Re: [dev] Makefile/markdown based static site generator

2013-02-21 Thread stanio
* sta...@cs.tu-berlin.de 2013-02-21 10:16 > sed -n '/\s*^$//; > p; > q; > }' --s.

Re: [dev] Makefile/markdown based static site generator

2013-02-21 Thread stanio
* Sam Watkins 2013-02-21 06:21 > or other tools with simpler regexps: > > html_split | grep '^$//' Yeah, I find this more readable. I'd even get rid of grep, sed is perfect for the job sed -n '/\s*^$//; p; q; }' --s.