Opera: Kill Freeze
Latest version: 2009-06-25 – Download
The newer builds of Opera 10 now include a crash logger tool that is built right into Opera and based on the same code as the original Inspector tool.
If you encounter a crash in Opera 10+, you will be prompted to add a few comments and send the report off to be analyzed!
In some cases, however, Opera fails to crash and instead freezes or locks up. In this case, you will want to initiate a “kill -11″ signal using Opera’s PID. This will kill Opera and prompt you with a crash report window so you can tell them what you were doing when you successfully froze Opera. ;)
To install this script, simply download the zip file and follow the instructions listed below from the included INSTALL.txt file.
Author: Kyle Baker (kyleabaker)
Description: Script to Kill Opera’s process to trigger a crash report.
Instructions to install this script are listed below. If you have any questions and/or comments please let me
know! You can find my contact information at the homepage listed above.
1. Place the “Opera-Kill-Freeze” folder (with all of it’s contents) in a place that you can leave it such as in your home folder.
You may need/want to rename this folder to “Opera-Kill-Freeze”, but you can name it anything you wish.
2. Open a terminal window, navigate to the new Inspector folder (assuming you saved it in the above mentioned location):
$ cd ~/Opera-Kill-Freeze
3. Make the setup script executable so it can create a shortcut for you on your desktop as well as making the other
main kill script executable:
$ chmod +x ./setup.sh
$ sh ./setup.sh
* After the setup file completes you can drag and drop the new desktop icon into a panel if you wish. You now have a quick
way to start Opera and Inspector from a single icon!
* If you would like to use a different icon, just open the properties dialog for the shortcut and change it. A more default
looking icon is packaged in the “/Opera-Kill-Freeze/icons” folder.
* If you ever move the “/Opera-Kill-Freeze” folder, simply re-run the setup.sh script and a new shortcut will be created.
* This scripting trick should be able to run from a usb drive or other similar storage devices assuming you have run the
setup script to create the desktop shortcuts.