Category Archives: Linux

How to install Pintos on QEMU

Posted on August 3, 2008 by spsneo

UPDATE (Dec 2010) : I wrote this article in fall 2008. Now the files of PINTOS have changed and so this tutorial may not work. But still you can read to take hints on setting up. Just wanted to share … Continue reading →

Posted in Linux, Pintos | Tagged , , | 39 Comments

Colourful man pages in Ubuntu

Posted on July 21, 2008 by spsneo

Linux man pages are the most important resource for a Linux freak. By default man pages are formatted using the ‘less’ utility. ‘less’ shows the man pages in black & white, something like this : If you use ‘most’ utility … Continue reading →

Posted in Linux, Man pages, Ubuntu | Tagged , , | 11 Comments

GRUB Tutorial for Beginners

Posted on July 20, 2008 by spsneo

Linux newbies often get frightened by GRUB errors. This article will give you an insight of “What the hell is this GRUB ??” and may also help you solve you many GRUB errors. What is GRUB ?? GRUB is a … Continue reading →

Posted in GRUB, Linux | Tagged , | 15 Comments

Gedit : A Powerful Light-Weight IDE

Posted on July 15, 2008 by spsneo

Gedit can be transformed into a powerful light-weight IDE. Before I tell you the steps take a look at the screenshot of my gedit: Now, if you are convinced that you also want to customize gedit read on ….. Step … Continue reading →

Posted in GNOME, Linux, Uncategorized | Tagged | 3 Comments

How to force fsck (File System Check)

Posted on July 13, 2008 by spsneo

Ubuntu linux, by default performs an ‘fsck’ one every 30 times the file-system is mounted to make sure the hard disk has no errors. Sometimes you may need to perform an ‘fsck’ during next boot. Here’s the solution – Create … Continue reading →

Posted in Linux, Ubuntu | Tagged , , , | Leave a comment