Articles of bash

Comment détecter si l’exécution de docker a réussi par programme?

J’écris un script bash très simple pour vérifier rapidement que mon conteneur est toujours construit et démarre correctement et que l’application à l’intérieur répond aux requêtes. Parfois, l’ docker run échoue, par exemple parce que le port auquel j’essaie de lier le conteneur est déjà alloué. Mais lorsque cela se produit, le code de sortie […]

script pour obtenir le code d’état HTTP d’une liste d’urls?

J’ai une liste d’URL que je dois vérifier, pour voir si elles fonctionnent toujours ou non. Je voudrais écrire un script bash qui fait ça pour moi. Je n’ai besoin que du code de statut HTTP renvoyé, à savoir 200, 404, 500 et ainsi de suite. Rien de plus. EDIT Notez qu’il existe un problème […]

Pourquoi sudo cat donne une permission refusée mais sudo vim fonctionne bien?

J’essaie d’automatiser l’ajout d’une source de référentiel dans le fichier pacman.conf de mon arch mais en utilisant la commande echo dans mon script shell. Cependant, cela échoue comme ceci: – sudo echo “[archlinuxfr]” >> /etc/pacman.conf sudo echo “Server = http://repo.archlinux.fr/\$arch” >> /etc/pacman.conf sudo echo ” ” >> /etc/pacman.conf -bash: /etc/pacman.conf: Permission denied Si je modifie […]

Un moyen propre de lancer le navigateur Web à partir du script shell?

Dans un script bash, je dois lancer le navigateur Web utilisateur. Il semble y avoir plusieurs façons de le faire: $BROWSER xdg-open gnome-open sur GNOME www-browser x-www-browser … Existe-t-il un moyen plus standard que les autres de faire cela sur la plupart des plates-formes, ou devrais-je utiliser quelque chose comme ceci: #/usr/bin/env bash if [ […]

Comment renommer avec le préfixe / suffixe?

Comment est-ce que je fais mv original.filename new.original.filename sans retaper le nom de fichier original? J’imagine pouvoir faire quelque chose comme mv -p=new. original.filename mv -p=new. original.filename ou peut-être mv original.filename new.~ ou autre chose – mais je ne vois rien de tel après avoir man mv / info mv pages. Bien sûr, je pourrais […]

Extraire la sous-chaîne en utilisant regexp dans plain bash

J’essaie d’extraire le temps d’une chaîne en utilisant bash, et j’ai du mal à le comprendre. Ma chaîne est comme ça: US/Central – 10:26 PM (CST) Et je veux extraire la partie 10:26 . Quelqu’un sait-il comment faire cela uniquement avec bash – sans utiliser sed, awk, etc.? Comme en PHP, j’utiliserais – pas le […]

Quelle est la différence entre Git Bash et le shell GitHub pour Windows?

Je fais référence au shell fourni avec GitHub pour Windows et à Git Bash (qui a un installateur autonome).

Travaux Cron et temps aléatoires, dans des heures données

J’ai besoin de pouvoir exécuter un script PHP 20 fois par jour à des moments complètement aléatoires. Je veux aussi qu’il ne fonctionne que de 9h à 23h. Je suis familier avec la création de travaux cron sous Linux.

Renommer une partie d’un nom de fichier

J’ai des tas de fichiers qui ressemblent à ceci: DET01-ABC-5_50-001.dat … DET01-ABC-5_50-0025.dat et je veux qu’ils ressemblent à ceci: DET01-XYZ-5_50-001.dat … DET01-XYZ-5_50-0025.dat Comment puis-je faire ceci?

bash echo nombre de lignes de fichier données dans une variable bash sans le nom du fichier

J’ai les trois constructions suivantes dans un script bash: NUMOFLINES=$(wc -l $JAVA_TAGS_FILE) echo $NUMOFLINES” lines” echo $(wc -l $JAVA_TAGS_FILE)” lines” echo “$(wc -l $JAVA_TAGS_FILE) lines” Et ils produisent tous deux une sortie identique lorsque le script est exécuté: 121711 /home/slash/.java_base.tag lines 121711 /home/slash/.java_base.tag lines 121711 /home/slash/.java_base.tag lines C’est-à-dire que le nom du fichier est également […]