#!/bin/bash

unset GNOME_DESKTOP_SESSION_ID
exec /opt/oracle-sqldeveloper/sqldeveloper.sh -J-Dsdev.insight=false