Il s'agit de la commande source-highlight-settings qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
Source-highlight-settings - utilitaire qui peut être utilisé pour écrire un fichier de configuration pour GNU
Source-highlight (et sa bibliothèque)
SYNOPSIS
paramètres de mise en surbrillance de la source
DESCRIPTION
Depuis la version 3.0, GNU Source-highlight inclut également l'utilitaire
source-highlight-settings, qui peut être utilisé pour vérifier si la source-highlight sera
capable de trouver ses fichiers de définition de langue, et d'autres fichiers de configuration, et au cas où, pour
stocker les paramètres corrects dans un fichier de configuration, dans le répertoire de base de l'utilisateur.
En particulier, le fichier de configuration stocké s'appellera source-highlight.conf et
être stocké dans $HOME/.source-highlight/.
Pour le moment, ce fichier ne stocke que la valeur par défaut de l'option --data-dir.
Cet utilitaire fait partie de GNU Source-highlight, maintenu par :
Lorenzo Bettinihttp://www.lorenzobettini.it>
DE LA LIGNE BOGUES
Signaler des bogues à
DROIT D'AUTEUR
Copyright © 1999-2009 Lorenzo Bettinihttp://www.lorenzobettini.it> Ce programme vient
avec ABSOLUMENT AUCUNE GARANTIE.
C'est un logiciel libre ; vous pouvez redistribuer des copies du programme selon les termes de la
Licence publique générale GNU. Pour plus d'informations sur ces questions, consultez le fichier nommé
COPIER.
Utilisez les paramètres de mise en évidence de la source en ligne à l'aide des services onworks.net