Instalación

Se puede instalar creando un paquete o utilizando el binario Nos descargamos el fichero sin JVM de http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/index.html

Como paquete

1. Instalar:

sudo apt-get install sqldeveloper-package

Este paquete proporciona el comando “make-sqldeveloper-package”

2. Descargar el paquete marcado como “Other Platforms”

3. Crear el paquete:

make-sqldeveloper-package sqldeveloper-4.0.3.16.84-no-jre.zip

Tarda unos 5.

4. Instalar el paquete creado:

sudo dpkg -i sqldeveloper_17.3.1.279.0537+0.2.4-1_all.deb

5. Ejecutar la aplicacion:

sqldeveloper

Descomprimimos el fichero

Para seleccionar la JVM a utilizar, modificamos el fichero

$HOME/.sqldeveloper/4.0.0/product.conf

Y añadimos la línea:

SetJavaHome /usr/lib/jvm/jdk1.7.0_75