Tag Archives: shell

How to manually install a Gnome Shell extension

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

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