Vous n'êtes pas identifié(e).
Le fichier /etc/apt/sources.list
Les fichiers de /etc/apt/sources.list.d dont l'extension est .list
Le fichier /etc/apt/preferences s'il existe
Les fichiers éventuellement présents dans /etc/apt/preferences.d
L'affichage est possible en couleur si la commande pygmentize du paquet python-pygments est disponible. Il est également possible d'afficher directement ces fichiers encadrés par les balises bbcodes qui vont bien pour coller tout ça directement sur le forum DF
N'hésitez pas à tester et me faire des retours.
Pour les barbus, vous aurez remarquer que le shebang est #!/bin/bash. J'aimerais si possible le transformer en #!/bin/sh, mais j'ai quelques difficulté avec les boucle for et l'utilisation de printf à la place de echo
Il me semble qu'il faille remplacer la boucle for par while avec un compteur, et je n'ai pas encore pris le temps de regarder le fonctionnement de printf en détail, mais si vous avez des pistes à me donner, ça ne serait pas de refus. Tout autres commentaires ou critiques constructives sont également les bienvenues, c'est mon premier script shell de plus de 10 lignes
Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
En ligne
Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
En ligne
…
edit-sources
La commande edit-sources permet de modifier le fichier sources.list et fournit des vérifications de sécurité de base.
…
Dernière modification par MicP (23-06-2016 17:06:16)
Hors ligne
à tout ça, je réponds KISS
Carrement un bisou Sans rire, j'y ai bien pensé que c'était pas trop KISS, mais étant donné le nombre de fois où il nous faut donner ces commandes pour l'entraide, je me suis dit que ça pourrait être utilise malgré tout. Et effectivement j'avais bien l'outilsde Handylinux en tête, mais il ne semble pas faire cela (il faut vraiement que j'installe Handylinux pour voir )
Dans ton script, tu pourrais utiliser la commande apt avec l'option edit-sources
ce qui permettrait de faire des "vérifications de sécurité de base" sur le fichier modifié.
Oui, mais à aucun moment ces fichiers ne sont édités. Ils sont juste visualisés. Je pensais cependant à un autre script qui pourrait faire automatiquement ce genre de vérification et faire un rapport.
Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
En ligne
…Je pensais cependant à un autre script qui pourrait faire automatiquement ce genre de vérification et faire un rapport.…
EDIT :Ce qui suit est barré (Voir le message suivant)
Effectivement, comme apt edit-sources ne semble permettre l'édition que du fichier /etc/apt/sources.list, ce sera plus simple de l'adapter aux différents fichiers concernés par ton script.
Mais ça ferait quand même pas mal de vérifications différentes à faire…, et puis à force d'ajouter des fonctionnalités, ça finit par devenir un truc difficile à maintenir et autant de possibilités pour ce script de devenir obsolète => Il vaut peut-être mieux rester sur la méthode bisous qui a déjà fait ses preuves et permis à GNU-Linux d'être de fait plus efficace et plus fiable que d'autres systèmes.
… Je pensais cependant à un autre script…
Ce que j'ai écrit plus haut dans ce message amène aussi à cette conclusion.
=======
Pour le $HOME/.bashrc je pensais plutôt à ça :
Les guillemets permettront de prendre en compte les caractères espaces qui seraient dans un des chemins du PATH
Le test vérifie si le nom du répertoire personnel n'est pas présent dans les chemins du PATH
et avec ce test comme condition, si un sous-shell est démarré, le répertoire personnel des scripts ne sera plus ajouté une Nièmme fois au PATH
En ajoutant le chemin perso en premier dans la liste des chemins du PATH les scripts perso seront prioritaires sur leurs homonymes.
====
Mais je pense que le fichier $HOME/.profile serait mieux indiqué pour personnaliser le PATH
car le fichier $HOME/.profile sera pris en compte même si l'interpréteur de commande est différent de bash
et j'ai pu constater qu'il suffit de créer un répertoire $HOME/bin pour que ce répertoire soit automatiquement ajouté au PATH à la connexion suivante du compte utilisateur.
Ci-dessous, un extrait du fichier $HOME/.profile
Dernière modification par MicP (26-06-2016 12:58:00)
Hors ligne
(...)Effectivement, comme apt edit-sources ne semble permettre l'édition que du fichier /etc/apt/sources.list, ce sera plus simple de l'adapter aux différents fichiers concernés par ton script.(...)
Erreur détectée
Fais donc un :
Ainsi, si tu as un fichier 'deb-multimedia.list' dans /etc/apt/sources.list.d/, quand tu feras :
Mais, il faut avouer que le manpage n'est pas clair sur ce coup !
edit-sources (work-in-progress)
edit-sources lets you edit your sources.list(5) files in your preferred texteditor while also providing basic sanity checks
Bref, il est capable de lire les fichiers qui sont dans le répertoire 'sources.list.d' pourvu qu'on lui spécifie le bon nom de fichiers
Hors ligne
pourrait être remplacé par :
(même chose pour hashspaces )
=======
On pourrait utiliser :
EDIT: Ou bien si tu préfère :
Ou alors :
Dernière modification par MicP (22-08-2016 04:54:58)
Hors ligne
Anonyme-8 a écrit :à tout ça, je réponds KISS
Carrement un bisou Sans rire, j'y ai bien pensé que c'était pas trop KISS, mais étant donné le nombre de fois où il nous faut donner ces commandes pour l'entraide, je me suis dit que ça pourrait être utilise malgré tout. Et effectivement j'avais bien l'outilsde Handylinux en tête, mais il ne semble pas faire cela
Non, mais c'est carrément une bonne idée
Y − 3HG − Auto-hébergé
Hors ligne
Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
En ligne
Y − 3HG − Auto-hébergé
Hors ligne
Y a tellement de monde qui pourrissent leur debian à coups de ppa...
L'idée m'est effectivement venu d'un cas comme ça ici
Ça suppose que t'enregistres dans le script le login/mdp et que tu connaisses l'adresse du fil sur lequel poster par contre smile
Je pensais à essayer de concevoir un truc modulaire via des fichier de config qui permettrait donc d'adapter la chose à chaque forum.
Genre un fichier credential avec des droits bien stricts et un fichiers de conf par site avec le choix de la création d'un nouveau fil, où de la réponse dans un fil existant
Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
En ligne
par :
Hors ligne
Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
En ligne
j'avais plus simple avec:
cat /etc/apt/sources.list; cat /etc/apt/sources.list.d/*.list ;
perso c'est
ça n'enlève rien au fait que le script est très intéressant
Hors ligne
Ha oui, je l'ai déjà corrigée à la maison celle là
il y a toujours l'erreur sur ta page du wiki
tu devrais ajouter l'option h pour afficher l'usage.
l'option s ne sert à rien, non? puisque la sortie sur stdout est par défaut, ou me trompe-je ?!
merci pour le script, je ne connaissais pas pygmentize
Dernière modification par wlourf (22-07-2016 06:33:19)
Hors ligne
…Le placer dans ~/.local/bin/ S'assurer que ce dossier est bien dans votre PATH avec …
pourrait être remplacé par :
…S'il n'existe pas, créez le répertoire ~/bin/ et placer ce script dans ce répertoire …
Car :
Dernière modification par MicP (02-12-2016 18:11:50)
Hors ligne