Pour éditer facilement des fichiers .ins (opsi-winst) sous linux, il faut ajouter la coloration syntaxique.
Pour cela, installer jedit
sudo apt-get install jedit
Ensuite copier le fichier winst.xml fourni en téléchargement dans /usr/share/jedit/modes/.
Ce fichier vient du paquet jedit fourni avec opsi, vous pouvez aussi le prendre dans opt_pcbin/install/jedit de votre serveur opsi.
Et modifier le fichier /usr/share/jedit/modes/catalog pour ajouter
<MODE NAME="winst" FILE="winst.xml" FILE_NAME_GLOB="*.ins" />
Voila, c’est tout…