Détail de l'auteur
Auteur Martial Bornet |
Documents disponibles écrits par cet auteur (22)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche![]()
Article : texte imprimé
Martial Bornet, Auteur | 2026"La commande dc est l'une des plus anciennes commandes Unix, mais sans doute pas la mieux maîtrisée. Cette série d'articles, en vous proposant un examen approfondi de ses instructions et l'analyse fine de quelques macros bien choisies, va vous permettre de la comprendre en détail et faire disparaître toute appréhe...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2026"S'il vous arrive fréquemment d'écrire des scripts bash, vous disposez probablement d'une petite bibliothèque d'utilitaires vous en facilitant le développement et la mise au point. Si vous n'en disposez pas, cet article va vous aider à la constituer et effectuer quelques rappels sur certaines fonctionnalités de bash." (Extrait d...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2025"Ce troisième volet de la gestion du temps sous Linux présente les fonctions permettant d'interrompre momentanément l'exécution des processus ou des threads, ou d'envoyer un signal après une durée programmée, ainsi que celles permettant de gérer les timestamps des fichiers et le temps CPU consommé par les processus." (Ex...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2024"Des références temporelles peuvent se trouver à de multiples endroits, tels que les fichiers de logs, de données, de configuration, d'état, ou dans des résultats de commandes. Elles peuvent désigner, par exemple, des horodatages (timestamps d'événements) ou des paramètres de configuration. Cet article présente quelques exemples de localisa...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2024"De nombreuses commandes sont liées au temps, en termes de référence ou de durée Cet article en liste quelques-unes, parfois présentées avec des exemples utilisant certaines options relatives aux dates, aux durées, ou à leur format d'affichage" (Extrait de GNU/Linux Pratique n°144)![]()
Article : texte imprimé
Martial Bornet, Auteur | 2024"Ce deuxième volet de la série consacrée à la gestion du temps sous Linux décrit les fonctions de gestion de l'horloge ainsi que celles de manipulation du temps, dates et durées, et notamment les diverses fonctions de conversion de formats. Des exemples d'utilisation sont donnés sous forme de petits prog...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2024"Cet article constitue le premier volet d'une série consacrée à la gestion du temps sous GNU/Linux. Après une vaste introduction, évoquant différents aspects du temps et nécessitée par la complexité du sujet, il présentera l'interface de programmation en C." (Extrait de GNU/Linux magazine n°269)![]()
Article : texte imprimé
Martial Bornet, Auteur | 2023"Le processeur de macros m4, bien qu'étant un outil apparu dans les débuts d'UNIX, est généralement très peu utilisé. Son apparente complexité peut expliquer pourquoi il a aussi peu d'adeptes. Pourtant, son utilisation n'est pas aussi compliquée qu'il n'y paraît. Nous allons la démystifier dans cet article, d...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2023"Quel administrateur système n'a jamais cherché à comparer des fichiers/etc/hosts ? Si cela vous est déjà arrivé, vous n'avez probablement pas trouvé l'outil adéquat, capable de reconnaître la syntaxe de ces fichiers. Mais désormais cet outil existe, développé pour ce besoin spécifique, en C/lex/yacc s...![]()
Article : texte imprimé
Martial Bornet, Auteur | 2022"Le surligneur automatique hl utilise des options non standard dont la gestion a nécessité le développement d'une mécanique spécifique à base d'automates finis déterministes. Nous allons l'étudier et découvrir les avantages qu'elle procure : lisibilité, robustesse, et facilité de maintenance." (Extrait de GNU/Linux magazine n°259)



