Random notes

disable-bell

```
# disable-bell
bind 'set bell-style none'
```

notes-on-bashrc.md

Some .bashrc modifications on debian

• making colors work on gnome-terminal: force_color_prompt=yes is the magic word

• preventing PS1 setting the title of the terminal: check for # If this is an xterm set the title to user@host:dir. You can set the terminal title manual by adding something like this:

   function setTerminalTitle()
   {
         echo -ne "\033]0;${1}\007" 
   }
  

  to .bashrc

This note used to be easy readable on draft.sx and some info was found on http://askubuntu.com/questions/22413/how-to-change-gnome-terminal-title Although I somehow managed to read over the suggestion about changing PS1.

Also readable at gist.io

notes-on-maintenance.md

Removing old files

dpkg --purge $(dpkg --get-selections | grep deinstall | cut -f1)

find big files on current filesystem

find . -xdev -type f -size +100M -ls