3,304 reputation
1825
bio website absatzen.de
location Germany
age 34
visits member for 3 years, 6 months
seen 2 hours ago

Nerd by day, nerd by night. LaTeX guru go-to person for half the department and Plone developer by trade.


2d
comment Reverse grepping
In addition to the excellent solutions posted, GNU grep has a --max-count (number) switch that aborts after a certain number of matches, which might be interesting to you.
Jul
21
comment Updating PHP to Gaurd Against Mayhem Malware
Is nailing your server down with SELinux something that is in the scope of things you're willing to do?
Jul
21
comment Log out a user and delete the account
For those of us scared to touch /etc/passwd directly, sudo /usr/bin/chsh -s /sbin/nologin baduser also works (chsh: change shell).
Jul
20
comment What's the default server root path (CentOS7)
@RobbertSegers: could also be in any of the files in /etc/httpd/conf.d/, in particular the SSL-related ones.
Jul
19
awarded  Custodian
Jul
19
reviewed Leave Open Shell Script to capture file name and file size in CSV format
Jul
19
reviewed Approve suggested edit on How to change hard disk spin-down time on my WD MyBook Live?
Jul
18
comment How do I use gunzip and tar to extract my tar.gz file to the specific directory I want?
@DemiSheep: do you have a gtar? If I remember, that's sometimes a name unter which GNU tar is installed on Solaris boxes.
Jul
18
comment How do I use gunzip and tar to extract my tar.gz file to the specific directory I want?
@illuminÉ: Solaris' standard tools are, ahem, very POSIX-compliant; it's possible that z (and j) are GNU extensions.
Jul
15
reviewed Looks OK Mathematica makes no sound under Ubuntu 11.04
Jul
14
answered Unable to synchronize the clocks on a dual boot system
Jul
7
comment Is there a way to make this one-liner faster?
How high is the likelihood of the string occuring? Expanding on my previous suggestion, you could first check with unzip -c if the zip file is relevant to your results at all and only then do a closer inspection of the individual files therein.
Jul
7
comment Is there a way to make this one-liner faster?
zipgrep separately unzips every file in the zipfile to grep it, that seems ineffective if you're looking at all of them anyway. Maybe unzipping int a temp directory and grepping there or fiddling with the output of unzip -p or unzip -c will give a little improvement.
Jun
30
comment ls shows a timestamp with no time for a file on NFS
We can't tell from your post how large the time difference is. My guess for "a few minutes" is: NFS server and client have clocks that are slightly out of skew. "Almost exactly some hours" would point to some time zone misconfiguration.
Jun
30
awarded  Enlightened
Jun
30
awarded  Nice Answer
Jun
30
comment Sorting data faster approach
How big is your file and how strict is your notion of "random"? split can, err, split a file into pieces of 1000 lines each, so you'd get more files in a single call of sort. Also, have you checked if head is slightly faster than tail because it doesn't need to read through the entire file?
Jun
29
comment Discovering metadata about a PDF
That's letter, the A formats are in the loop with the sqrt(2)s.
Jun
29
comment Discovering metadata about a PDF
The names are hardcoded: letter is 612 ± 0.1 x 792 ± 0.1, the magic sizes for DIN/ISO A are (all ±1 pt): 3370.98, 2383.64, 1685.49, 1191.82, 842.74, 595.91, ..., so it seems your page is a tiny bit too narrow for pdfinfo to pick that up.
Jun
29
answered Discovering metadata about a PDF