Friday, November 18, 2011

Ubuntu 11.10 with classic gnome shell (like gnome 2)

I discovered that there's a port of gnome indicator applet which allows to have Ubuntu 11.10 with a gnome 3 which looks like gnome 2. It could be nice if you don't like gnome-shell.

Wednesday, November 16, 2011

Common Linux shell commands

Terminal Cheat Sheet V5

Thursday, November 10, 2011

Kill Oracle session after a JVM was killed

For the moment, I'm playing with Spring Batch. In development, it appends that I need to kill my JVM. The problem is that C3P0 is not allowed to acquire another connection on Oracle on next restart. It's just because the previous one is still there. If you have an Oracle account with the required privileges, the you can see your old session in v$session and destroy it :

  • select * from v$session
  • alter system kill session 'sid,serial#'

Tuesday, November 01, 2011

Ubuntu 11.10 : how to disable the startup sound

The quickest way is to simply rename the login sound file from a terminal :

  • mv /usr/share/sounds/ubuntu/stereo/desktop-login.ogg /usr/share/sounds/ubuntu/stereo/desktop-login.ogg.disabled