Anciennes révisionsLiens de retourExporter en PDFHaut de page Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer RedditDerniers changementsSend via e-MailImprimerPermalien × #! /bin/bash # [[dictionnaire]] pour enfants # Required: dico # # Author: # Fred Radeff, radeff@akademia.ch, radeff.red # History # jeudi 18 janvier 2007 : FR, created # No Copyright, steal this! ######### nom="Arcadi" echo " Bonjour $nom Entre le mot recherché Si tu n'es pas sûr de l'orthographe, tape une astérisque après le début du mot, p.ex. orthog* " read mot #mot=orthog* echo " OK, on va chercher le mot $mot" dico $mot | grep -v "R.Cougnenc"| sed 's| *[0-9]*$||g' | mor Pour des corrections othographiques, utiliser aspell: kw: correcteur orthographique apt-get install aspell-fr aspell -l fr -c test.txt info/dictionnaire.txt Dernière modification : 2018/07/18 09:45de radeff S'identifier