191 reputation
3
bio website
location Cologne, Germany
age
visits member for 1 year, 10 months
seen 15 hours ago

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.


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 suggested 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.
Dec
11
awarded  Teacher
Dec
6
answered How do I type on the next line in the Terminal?
Nov
1
awarded  Supporter
Sep
21
comment Copy terminal result from one window to another
I really can't agree on that, but this discussion doesn't belong here.
Sep
21
comment Copy terminal result from one window to another
I like using exotic characters, too – those should never be a problem, everything should be UTF-8 compliant. And you're right: sane code should handle spaces as well. But IMO, the file system should be fine with "insane" code as well, namely quick command-line Bash hacks; those typically are quite a bit more cumbersome to write if you want to be space-safe. — What I'd propose is to use the no-break-space-character (U+a0 " "): that looks fine in a GUI, prevents wrapping at inappropriate places (which makes it easier to copy paths from a GUI text field into a terminal), and is Bash-hack-safe.
Sep
20
comment Copy terminal result from one window to another
And, of course, such directory names are a very bad thing to have in the first place anyway, (though in fact Canonical choose to name that infamoous folder Ubuntu One...). At least, they're a problem in the OP's original example, too.
Sep
20
comment Copy terminal result from one window to another
Yes; however that's easily fixed with adding extra double quotes (cp * "`cat /tmp/somepwd`").