211 reputation
15
bio website
location Cologne, Germany
age
visits member for 2 years, 3 months
seen Dec 22 at 10:00

Functional programming enthusiast, audio engineer & musician. Whilst not busy with any of that, I study physics at Universität zu Köln / Bonn-Cologne Graduate School.


Nov
5
comment What's wrong with using sudo?
Obligatory xkcd reference.
Sep
24
awarded  Autobiographer
Sep
6
awarded  Nice Answer
Aug
28
comment Are there cases where vi is the only option?
And of course ꝩe good old butterflies!
Aug
27
comment Are there cases where vi is the only option?
I think this answer is actually not that bad (typewriter-like keyboards not a completely unlikely thing to encounter), but in fact that doesn't mean you need vi in particular. All older text editors have "backup" key combinations that allow you to work without arrow keys etc., though I daresay that vi is the only editor where you wouldn't miss the arrow keys.
Aug
9
comment how to delete line numbers in a code block?
...or sed 's/^[0-9]\+\s//g' script. OTOH, Useless Use Of Cat has something of a tradition. At least the < script alternative is IMO not so clever, because mistyping < for > will overwrite the file.
Aug
2
awarded  Yearling
Jul
26
comment Is the command `sudo rm /Desktop/filename` safe?
@neon_overload: "trivial" is perhaps a bit too strong, but really – on a desktop, in doubt you just erase the root partition and re-install the entire OS, keeping only your personal stuff in the home partition. Costs a few hours; certainly trivial compared to when you've deleted a file you've been working on for months (in which case, of course, it's crazy not to have backups or at least try to restore the data – but I've heard it more than once that people ended up doing such work of months twice). — Of course, on a multi-user system / server, the balance can look quite different.
Jul
24
comment Is the command `sudo rm /Desktop/filename` safe?
Though for a single-user desktop setup, really there's not much worse you can do with sudo you can't also do without. In fact, files you can only delete with sudo generally come straight from the distribution and are therefore trivial to restore, whereas user files will in the worst case be irretrievable (of course you should properly use version control and off-site backups, but way too many people don't). — Nevertheless: it's definitely a bad habit to throw in sudo just to get your sandwiches! Last time I dded over the wrong hard drive, I did hate myself...
Jun
29
comment How to download VLC?
Generally in a Linux OS, before manually downloading anything you should check if you can get it directly from the distribution.
Jun
24
comment Does Hard reboot damage my Ubuntu
...in particular with a Linux kernel running. Of course on Windows, I'm still quite familiar with the lovely feeling of a couple of BSODs in a single day, but kernel panics I've only experienced like... 5 times in total or something. Swap-caused almost-freezes are rather more common of course (hardly the OS's fault), but this isn't really a reason for hard-reset, is it? Normally still quite easy to top out the process or just killall it.
Apr
27
awarded  Commentator
Apr
27
comment Building ghc 7.6.3 on Ubuntu 13.04 leads to error in DynFlags.hs
Mind, that did not get me through the entire building process... I eventually had to make more memory available anyway (via swap to external HD) when compiler/hsSyn/HsExpr.lhs wouldn't compile even in O0.
Apr
26
answered Compressing videos create even larger file
Apr
26
answered Building ghc 7.6.3 on Ubuntu 13.04 leads to error in DynFlags.hs
Apr
2
suggested rejected edit on What are the alternatives to Ubuntu One?
Nov
18
comment Any command line calculator for Ubuntu?
It might be possible to hack something like that up with a kind of pre-hook; but that in itself can only be done in a really ugly and hackish way. No, I very much think it's not a good idea. Bash as a whole is meant as a plain IO scripting language, anything it does apart from that is more or less ad-hoc and doesn't work really well. Python on the other hand (or even e.g. Haskell) is a modern, all-purpose programming language with great syntax. So it would be just stupid not to use it.
Oct
29
comment Does swap file usage increase disk I/O and CPU load?
NGRhodes: not in principle, but while lots of data is being sent to swap the processor typically does go idle, probably when it needs to do memory allocations, which may be delayed until enough space is available in RAM. Programs allocating lots of memory is the main cause for increased swapping activity.
Mar
29
comment How to download Ubuntu over an unreliable connection
How about just buying it on CD? If you only have such an unreliable connection, that might be the easier solution, and it's still almost gratis.
Jan
22
comment How can I permanently grant root access to a user?
The thing is: you are able to break stuff if you want to in the "normal" way with sudo, you just aren't able to do it accidentally. If you have the root password then this is not a restriction in any way, only a well-designed safety speed-bump. Get used to it, it won't cost you much time now but it may save you lots of time in the future when some dangerous operation you didn't really mean to execute was denied. Or when you're working on a system where you don't have the su password, and want to do something easy but you've only learned a way to do it that unnecessarily requires sudo.