748 reputation
21031
bio website bioss.ac.uk/students/…
location United Kingdom
age 32
visits member for 4 years, 3 months
seen Nov 25 at 11:38

Finished with the PhD. Doing a post-doc in graph theory applied to social networks. Got too many things that are too heavy being juggle in my brain!!! ouchy


Mar
16
awarded  Nice Question
Jan
14
comment understanding “mount” as a concept in the OS
no, its not for homework, I graduated a long time ago, look at my profile page and my webpage link to check that out.
Dec
7
accepted How to recover a missing file
Dec
7
comment How to recover a missing file
thanks, i hope that the hard disk problem is not too bad, will it grow or get worse, should I be worried?
Dec
7
asked How to recover a missing file
Dec
6
accepted Storing output of command in shell variable
Dec
6
asked Storing output of command in shell variable
Dec
6
accepted Copy text from one terminal into another
Dec
6
comment Copy text from one terminal into another
for cd -P /proc/PID/cwd I get "-bash: cd: /proc/PID/pwd: No such file or directory" in the host system's terminal, should i be replacing PID with the PID of the running terminal on the system?
Dec
6
comment Copy text from one terminal into another
i have only pwdx on my distribution
Dec
5
asked Copy text from one terminal into another
Dec
4
accepted What is a “loop device” when mounting?
Dec
4
asked What is a “loop device” when mounting?
Nov
16
accepted put history command onto command line without executing it
Nov
15
comment put history command onto command line without executing it
@alex, that was awesome, where could I have read up on that? I find no documentation on this anywhere
Nov
15
comment put history command onto command line without executing it
This answer is ok, just that searching with Ctrl+r through a long history is cumbersome, I know the line number in the file, so can that be used at all? And how do you keep moving backwards/forwards when in the Ctrl+r mode? Best,
Nov
15
comment put history command onto command line without executing it
is there not something a bit more elegant?
Nov
15
asked put history command onto command line without executing it
Nov
4
answered Understanding the exclamation mark (!) in bash
Nov
4
accepted Understanding the exclamation mark (!) in bash