Voici un plugin sympa qui permet d'éditer vos fichiers directement sur votre serveur.
Plus besoin de télécharger votre fichier, de le modifier et de le renvoyer.
Un gain de temps asses sympathique. 🙂
Vous pouvez téléchargez le plugin ici.
Une fois chargé, décompressez le et mettez les fichiers (sans le dossier) dans votre répertoire personnel :
/.gnome2/gedit/plugins/ *
(*si le dossier "plugins" n'existe pas, créez le)
Ensuite ouvrez Gedit, allez dans :
edition/préférences/greffons
Activez le plugin :
Ouvrez le panneau latéral : Affichage/ panneau latéral (ou F9)
Il ne vous reste plus qu'a rentrer l'adresse ftp, votre login et mot de passe pour pouvoir modifier vos fichiers.... 🙂
Ce blog est mis à disposition sous un contrat Creative Commons.
Étiquettes : gedit, gnome, plugin
Cet article a été posté le jeudi, novembre 19th, 2009 a 16 h 51 min et est classé dans la catégorie : Logiciels. Vous pouvez suivre les commentaires de cet article viaRSS 2.0 . Vous pouvez commenter :, ou faire un trackback depuis votre site.
- Gimp : manipulations d’images
- plugin Pidgin : suivez Twitter sur votre messagerie instantanée.
- Lignes de commandes maitrisez votre système (2) Naviguer
- [plugin Firefox] Automatic save folder
Sympa ce plugin !
C’est bien de pouvoir éditer un fichier directement sur le serveur, par contre, il ne faut pas se tromper !
Il vaut mieux avoir une sauvegarde originale au cas où !!
Merci 😉
Effectivement, il vaut mieux être prudent…. 😉
Éditer des fichiers distants via SSH
# Avec vi , vim …
Il est bien sûr possible de se connecter en SSH et d’utiliser ViM sur la machine distante, mais il n’est peut être pas configuré voire pas installé du tout… La commande suivante permet d’éditer le .bashrc sur un pc distant :
vim ‘scp://ya@pc_distant/.bashrc’
Éditer des fichiers distants via FTP
vim ‘ftp://login@ftp_distant/index.html’
Penser à votre fichier .netrc 🙂 .