J'obtiens le message "Impossible d'enregistrer _ Erreur inattendue: erreur de changement de nom du fichier temporaire: fichier texte occupé" dans Gedit 2 lorsque j'essaie d'enregistrer dans un dossier partagé avec Virtualbox (Debian). J'ai cherché et apparemment c'est un problème de Gedit. Aucune des solutions ne semble idéale ou ne fonctionne pour moi.
Serait-il possible de créer un script shell (plugin d'outils externes) qui enregistre le fichier ailleurs, puis le recopie en shell? Je vais donc devoir récupérer où Gedit a stocké le fichier temporaire (en direct?).
Ou si cela n'est pas possible / ne fonctionnera pas / mauvaise pratique, quelqu'un connaît-il un bon moyen de contourner cela? J'aime vraiment Gedit et je préfère l'utiliser.
Actuellement, voici mon script. Je dis aux outils externes de ne pas enregistrer mais de passer le document en entrée (stdin)
bin=""
while read LINE; do
echo ${LINE} # do something with it here
bin="${bin}${LINE}\n"
done
echo $bin > /home/me/data2/test.txt
Cela fonctionne bien, sauf qu'il ne conserve pas les onglets. Je n'édite que des fichiers en texte brut. Edit: cela semble également sauter la dernière ligne