Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
geany [Le 27/08/2023, 14:27] krodelabestiole apt-get -> apt |
geany [Le 16/01/2024, 15:08] (Version actuelle) arverne73 Python3 |
||
---|---|---|---|
Ligne 16: | Ligne 16: | ||
* trucs et astuces | * trucs et astuces | ||
- | Il est possible d'étendre ces fonctionnalités au moyen d'extensions. | + | Il est possible d'étendre ces fonctionnalités au moyen d'[[#extensions]]. |
{{::geany.png?600|Geany 0.21}} | {{::geany.png?600|Geany 0.21}} | ||
Ligne 32: | Ligne 32: | ||
**Geany** est aussi disponible en [[:Flatpak]] depuis [[https://flathub.org/apps/org.geany.Geany|Flathub]], ainsi qu'en [[:Snap]] depuis [[https://snapcraft.io/geany-gtk|Snapcraft]]. | **Geany** est aussi disponible en [[:Flatpak]] depuis [[https://flathub.org/apps/org.geany.Geany|Flathub]], ainsi qu'en [[:Snap]] depuis [[https://snapcraft.io/geany-gtk|Snapcraft]]. | ||
+ | ==== Installation des dernières mises à jour ==== | ||
+ | Pour profiter des dernières mises à jour de **Geany** il faut installer le ppa suivant : | ||
+ | <code bash>sudo add-apt-repository ppa:ubuntuhandbook1/geany | ||
+ | sudo apt update | ||
+ | sudo apt upgrade</code> | ||
+ | {{https://doc.ubuntu-fr.org/_media/geany-2-david96.png?666}} | ||
=====Configuration===== | =====Configuration===== | ||
- | ==== Installer tous les plugins ==== | + | ==== Python3 ==== |
+ | En configuration par défaut, si vous écrivez des scripts Python, Geany essaie de les lancer avec Python, sous entendu Python 2 ! Pour utiliser Python3 par défaut vous devez modifier 2 lignes dans la boite de dialogue à ouvrir par le menu //Construire -> Définir les commandes de construction// : à la commande de la première ligne //Compile// et de l'avant dernière ligne //Execute//, modifier python en python3. | ||
- | Geany offre divers plugins tel que "Créateur de classe", "Debugger", "caractère HTML", etc., que vous pouvez retrouver et activer via le menu Outils > Gestionnaire de plugins... | + | ==== Extensions ==== |
- | Si vous voulez avoir tous les plugins, taper dans votre console : | + | |
- | <code>sudo apt install geany-plugin*</code> | + | |
- | Ils seront tous à votre disposition dans le Gestionnaire de plugins. | + | |
- | Si le joker ne fonctionne pas, voilà la liste de tout les plugins à la date du 08/01/2017 | + | Geany offre diverses extensions (//plugins// en anglais) tel que la coloration syntaxique pour des langages particuliers, //Créateur de classe//, //Debugger//, //caractère HTML//, etc., que vous pouvez retrouver et activer via le menu //Outils// -> //Gestionnaire de plugin//. |
- | <code bash>sudo apt install geany-plugin-addons geany-plugin-miniscript geany-plugin-autoclose geany-plugin-multiterm geany-plugin-automark geany-plugin-numberedbookmarks geany-plugin-codenav geany-plugin-overview geany-plugin-commander geany-plugin-pairtaghighlighter geany-plugin-ctags geany-plugin-pg geany-plugin-debugger geany-plugin-pohelper geany-plugin-defineformat geany-plugin-prettyprinter geany-plugin-devhelp geany-plugin-prj geany-plugin-doc geany-plugin-projectorganizer geany-plugin-extrasel geany-plugin-py geany-plugin-gendoc geany-plugin-scope geany-plugin-geniuspaste geany-plugin-sendmail geany-plugin-git-changebar geany-plugin-shiftcolumn geany-plugin-gproject geany-plugin-spellcheck geany-plugin-insertnum geany-plugin-tableconvert geany-plugin-latex geany-plugin-treebrowser geany-plugin-lineoperations geany-plugin-updatechecker geany-plugin-lipsum geany-plugin-vc geany-plugin-lua geany-plugin-webhelper geany-plugin-macro geany-plugin-xmlsnippets geany-plugin-markdown</code> | + | |
+ | Le meta-paquet ''geany-plugins'' permet d'installer les [[https://packages.ubuntu.com/jammy/geany-plugins|extensions les plus courantes]]. | ||
+ | |||
+ | Pour en profiter [[:tutoriel:comment_installer_un_paquet|installez simplement le paquet]] **[[apt>geany-plugins]].** Elles seront à votre disposition dans le gestionnaire de plugins. | ||
+ | |||
+ | Ce meta-paquet ne contient pas nécessairement toutes les extensions disponibles dans les [[:depots#dépôts officiels]] d'Ubuntu. | ||
+ | |||
+ | Vous pouvez lister toutes les extensions disponibles dans les dépôts avec la commande suivante : | ||
+ | <code>apt list ~n^geany-plugin-</code> | ||
+ | |||
+ | Pour lister seulement les paquets non installés (''\!~i''), disponibles pour l'architecture amd64 (''~ramd64'') : | ||
+ | <code>apt list ~n^geany-plugin-\!~i~ramd64</code> | ||
==== Geany comme éditeur par défaut ==== | ==== Geany comme éditeur par défaut ==== | ||
Ligne 88: | Ligne 103: | ||
=== Manuellement === | === Manuellement === | ||
- | <note>Dans ce qui suit, le répertoire où se trouve la configuration de Geany pour l'utilisateur est supposé être **~/.geany/** mais à partir de la version 0.16 de Geany, c'est **~/.config/geany/** . À vous de regarder lequel existe.</note> | + | <note>Dans ce qui suit, le répertoire où se trouve la configuration de Geany pour l'utilisateur est **~/.config/geany/**.</note> |
- | * La coloration syntaxique sous Geany est enregistrée dans différents fichiers (quasiment 1 par langage) dans /usr/share/geany/ ou /usr/local/share/geany/. | + | * La coloration syntaxique sous Geany est enregistrée dans différents fichiers (quasiment 1 par langage) dans /usr/share/geany/filedefs. |
- | Geany va chercher avant tout si ces fichiers se trouvent dans ~/.geany/filedefs sans quoi il utilisera ceux par défaut. | + | Geany va chercher avant tout si ces fichiers se trouvent dans ~/.config/geany/filedefs sans quoi il utilisera ceux par défaut. |
* Pour modifier sa configuration de couleurs on va donc éditer/créer les fichiers filetypes.ext (ext étant l'extension du langage dont on souhaite changer les couleurs) : | * Pour modifier sa configuration de couleurs on va donc éditer/créer les fichiers filetypes.ext (ext étant l'extension du langage dont on souhaite changer les couleurs) : | ||
<note important>Ne surtout pas modifier les fichiers depuis /usr/share/geany/</note> | <note important>Ne surtout pas modifier les fichiers depuis /usr/share/geany/</note> | ||
- | * Copier les fichiers de /usr/share/geany/ dans ~/.geany/filedefs : | + | * Copier les fichiers de **/usr/share/geany/filedefs** dans ~/.geany/filedefs : |
<code>cp -v /usr/share/geany/* ~/.geany/filedefs/</code> | <code>cp -v /usr/share/geany/* ~/.geany/filedefs/</code> | ||