Para compilar una aplicación en flash en linux sin tener que estar recurriendo a la consola cada vez, podemos usar el siguiente script de bash que debe agregarse en las herramientas externas de gedit.
#!/bin/bash
if (/ruta/a/flex/bin/mxmlc -library-path+=/ruta/a /librerias/libs/lib/map_flex_1_18.swc "$GEDIT_CURRENT_DOCUMENT_PATH")
then
/usr/bin/firefox "`echo $GEDIT_CURRENT_DOCUMENT_PATH | awk -F.mxml {'print $1'}`.swf"
fi
if (/ruta/a/flex/bin/mxmlc -library-path+=/ruta/a /librerias/libs/lib/map_flex_1_18.swc "$GEDIT_CURRENT_DOCUMENT_PATH")
then
/usr/bin/firefox "`echo $GEDIT_CURRENT_DOCUMENT_PATH | awk -F.mxml {'print $1'}`.swf"
fi
En mi casi uso F11 como atajo pero pueden poner la tecla que prefieran
