688 reputation
1921
bio website stackoverflow.com/users/…
location Earth
age 33
visits member for 3 years, 2 months
seen Dec 11 '13 at 8:16

As a student in South Asian languages, culture and history, specialising in comparative cultures and cognitive science, I take special interest in the influence of cultural paradigms in the perception and interaction with the world in terms of development. I am also a polyglot with a strong passion for learning languages, including programming languages such as Python. Also I am firm supporter of unix and free software.


Feb
16
accepted How to fix mistake in grub.cfg from LiveCD?
Feb
16
revised How to fix mistake in grub.cfg from LiveCD?
added 7 characters in body
Feb
16
asked How to fix mistake in grub.cfg from LiveCD?
Feb
16
accepted Slow boot on Fedora 16: why and how to improve?
Feb
15
revised Slow boot on Fedora 16: why and how to improve?
added update + plots regarding improvement
Feb
15
revised Slow boot on Fedora 16: why and how to improve?
added systemd-analyze output
Feb
15
comment Slow boot on Fedora 16: why and how to improve?
Excellent documentation, thanks!
Feb
15
comment Slow boot on Fedora 16: why and how to improve?
@bdowning: wow! :o I want that too!
Feb
15
comment Slow boot on Fedora 16: why and how to improve?
@bdowning: the first link is excellent, it would be great if they'd tell how to get a fast boot too.
Feb
15
revised Slow boot on Fedora 16: why and how to improve?
added bootchart
Feb
15
answered Can GRUB font size be customised?
Feb
15
comment Can GRUB font size be customised?
OK, I see elsewhere the equivalent of update-grub is grub2-mkconfig -o /boot/grub2/grub.cfg.
Feb
15
comment Can GRUB font size be customised?
Nice indeed I found this documentation but somehow I need to update-grub, which command I don't seem to have on Fedora 16 (?).
Feb
15
comment Slow boot on Fedora 16: why and how to improve?
@fpmurphy: thanks. You're answer is quite succinct and I can't follow, could you make it a detailed answer? I don't know how to remove wl interfaces scanning from boot nor do I know how to boot the way you suggested.
Feb
15
comment How to make the terminal display user@machine in bold letters?
Nice, I added a new line before the [user@host] which makes each command yet more readable (it should be set so by default on terminal imo).
Feb
14
comment How to make the terminal display user@machine in bold letters?
Thanks for this. I suppose I also had to copy all of the above in ~/.bashrc?
Feb
14
accepted How to make the terminal display user@machine in bold letters?
Feb
14
comment How to make the terminal display user@machine in bold letters?
Nice and explanatory answer, +1. Still I found hesse's answer more to the point, so I chose it instead.
Feb
14
comment How to make the terminal display user@machine in bold letters?
Gnome Terminal bash.
Feb
14
asked How to make the terminal display user@machine in bold letters?