7,970 reputation
21429
bio website launchpad.net/…
location Netherlands
age 54
visits member for 2 years, 5 months
seen 22 mins ago

Musician, the Netherlands

Started with Mac, switched to Windows and finally ended up with Ubuntu, just before Unity was introduced (must have been somewhere in 2011).


1h
revised How can I auto-hide the launcher via a script, when I maximize the browser?
added 84 characters in body
11h
revised Error mounting ntfs partition
added 32 characters in body
15h
revised Problem with partition (Ubuntu)
edited title
16h
revised environment.yaml file error
added 72 characters in body
17h
revised configure thunderbird to read local spool mail
deleted 22 characters in body
1d
revised How can I auto-hide the launcher via a script, when I maximize the browser?
added 69 characters in body
1d
revised How to close only one window of an application?
added 357 characters in body
1d
revised How can I auto-hide the launcher via a script, when I maximize the browser?
fixed issue with applications with multiple pids
1d
revised I am no able to install any package of openstack due to dpkg error, what should i do?
edited title
1d
revised How to close only one window of an application?
edited tags
1d
revised How to close only one window of an application?
added 981 characters in body
1d
revised script not working properly in crontab
added 48 characters in body
2d
revised split big text file (10GB) with split command a) with a minimum size of the output file (40MB) and b) after a specific string (</record>)
slightly generalized script by moving identifying string to top
2d
revised How can I auto-hide the launcher via a script, when I maximize the browser?
added 115 characters in body
2d
revised How can I auto-hide the launcher via a script, when I maximize the browser?
Final version (?) the script now fully uses xprop to identify if a window is maximized and /or minimized
2d
revised How can I auto-hide the launcher via a script, when I maximize the browser?
added xprop -id check to see if a window is iconized
2d
revised How can I auto-hide the launcher via a script, when I maximize the browser?
improved behaviour; now paned at the left side of the window does not cause autohide anymore.
Nov
25
revised How can I auto-hide the launcher via a script, when I maximize the browser?
added 148 characters in body
Nov
25
revised How can I auto-hide the launcher via a script, when I maximize the browser?
added 1557 characters in body
Nov
25
revised Assign icon to launcher application
added 21 characters in body