Tag Archives: shell

How to manually install a Gnome Shell extension

Posted on April 14, 2013 by SoCRaT

This is a must-know for those who love some old extensions that are no longer compatible with their new upgrade of gnome shell, since many extensions are already compatible with the new versions of the gnome-shell, but all what differs … Continue reading →

Posted in Uncategorized | Tagged , , , , , | 6 Comments

Working with KSH

Posted on November 16, 2011 by SoCRaT

Here are the shortcuts that were of utmost importance to get me productive with KSH: “stty erase ^?” to remove the ‘^?’ symbol when the backspace key is pressed. “Ctrl-p” shows the previous command that you typed, pressing several time … Continue reading →

Posted in Unix | Tagged , , , | Leave a comment