638 reputation
617
bio website
location Austria
age
visits member for 3 years, 3 months
seen Jul 24 at 16:12

Jul
9
comment How can I shred a git repository, reasonably fast?
yes, please correct the spell error in the command (-g instead of -f). This reduces the file count to 42. A coincidence? ;-) man git-repack says: Packs are used to reduce the load on mirror systems, backup engines, disk storage, etc.. Why do you use it?
Jul
9
comment How can I shred a git repository, reasonably fast?
are you sure? I just ran git repack (without any options) in this test repo and the number of files in the .git folder increased from 684 to 688.
Jul
7
comment How can I shred a git repository, reasonably fast?
good idea, but then the local repository doesn't survive reboots/ power outages, right?
Nov
8
comment How to fill 90% of the free memory?
@bjarkef then just use calloc.
Nov
8
comment How to fill 90% of the free memory?
Some inspiration for the code. Furthermore, I think you don't need to unlock/free the memory. The OS is going to do that for you when your process has ended.
Nov
26
comment What kind of notification is Firefox sending when a download has finished?
this helped me a lot already though. I'll try to figure this out. Or maybe others have a clue?
Nov
26
comment What kind of notification is Firefox sending when a download has finished?
it works almost perfectly, thanks! The audible bell in screen, however, works only if it is triggered from the visible screen-tab...
Nov
26
comment What kind of notification is Firefox sending when a download has finished?
yes sir! tput bel and xterm*bellIsUrgent: true is exactly what I was looking for.
Sep
11
comment Is there a simple command for outputting tab-delimited columns in bash?
great! thanks a lot! It was already installed on my machine.
May
4
comment Why can't ld find this library?
pastebin.com/SCx1Vz5b shows the output when omitting the librefblas.a from the -L option. It's fishy that all these errors are related to mpi.... @Mat, thanks for this hint! I've got, /usr/lib/openmpi/libmpi.so available.
May
4
comment Why can't ld find this library?
set | grep scala returns nothing. how can I add this path?
Apr
5
comment What is an effective method for installing up-to-date software on an out-dated production machine?
I found this mirror and managed to get something working (mirror.centos.org/centos/5/os/x86_64/CentOS) . For the moment the gentoo prefix seems to be a less complicated alternative.
Apr
3
comment What is an effective method for installing up-to-date software on an out-dated production machine?
I'm going to test this, it sounds interesting!
Apr
2
comment What is an effective method for installing up-to-date software on an out-dated production machine?
no, because I want to use it for high performance calculations (using MPI etc).
Apr
2
comment What is an effective method for installing up-to-date software on an out-dated production machine?
Yes just for me. I'm currently using ./configure --prefix ...; make; make install but I'm looking for a way that simplifies the dependency resolution.
Apr
2
comment What is an effective method for installing up-to-date software on an out-dated production machine?
thanks for this answer. I'm not familiar with CentOS that much. Can I install (in other than /) using yum and the packages from a web repository? thanks
Jan
31
comment How can I retain the console input in mplayer when reading from stdin?
thanks for the links, these are interesting pieces of software.
Jan
31
comment How can I retain the console input in mplayer when reading from stdin?
wow, this works! I don't fully understand what's going on, though.
Jan
13
comment Why are there no -dev packages in Arch Linux?
Hello thanks for your answer. I think you are right, because I noticed on Arch Linux I can compile packages right away (no need to install -dev packages). Could you include one reference?
Jan
10
comment Changing the UID of files in /proc
excellent info about /proc. I didn't realize these were process IDs. So that means it is pointless to change the uid.