Dans le script bash, J'ai une chaîne qui contient plusieurs mots séparés par un ou plusieurs espaces. c'est à dire: Name Age Sex ID Address Si je veux trouver n'importe quel mot, par exemple je veux trouver l'index du mot "Age", comment puis-je le faire? Existe-t-il une commande qui renvoie …
Comment obtenir le contenu d'un fichier texte, à l'exception de la dernière (par exemple) 2 lignes, avec des outils de shell standard ou GNU? (bash, queue, chat et ainsi de suite.)
Je souhaite utiliser le script .sh pour le déploiement de mon application. Ce script se trouve sur mon serveur domestique (serveur Ubuntu 15.10), marqué comme exécutable. L'accès à ce script se fait via ssh, en utilisant ce tutoriel, j'ai configuré la connexion ssh, qui exécute ce script. Donc, fondamentalement, je …
Je garde mon répertoire personnel sous contrôle de version, afin que ma configuration de base soit facilement disponible sur n'importe quel ordinateur. Mon invite de commande bash sur mon ordinateur local est une chose compliquée et colorée qui inclut le référentiel git actuel et son état. Mais je préfère avoir …
J'ai un fichier xml de 150 Go que je voudrais raccourcir (c'est-à-dire tronquer) à environ 1 Go - y a-t-il une commande simple (bash ou similaire) que je peux utiliser, ou dois-je suivre la route programmatique (le modifier dans vi ou emacs est un cauchemar même sur les gros systèmes …
J'essaie de faire fonctionner Docker sur ConEmu en créant une tâche qui ouvre le start.shfichier Docker à l'aide git bash. Étant donné que normalement le terminal docker pointe vers "C:\Program Files\Git\bin\bash.exe" --login -i "C:\Program Files\Docker Toolbox\start.sh", est-il possible de faire une tâche sur ConEmu pour le faire? Donc quelque chose …
Le shell Bash a une commande intégrée hash -rpour réinitialiser le $PATHcache interne des exécutables. Quand est-il nécessaire d'utiliser cette commande? En relation: Comment ressasser les exécutables dans $ PATH avec bash
J'ai un programme qui m'oblige à saisir des données pendant l'exécution du programme. Imaginez quelque chose comme ça: $ ./program Hi there. What's your name? Zambezi What is your quest? To make a program which runs nicely What is your favourite color? Red ... Maintenant, j'ai un certain nombre d'entrées …
J'ai une image bitmap que j'aimerais concaténer au début de nombreuses vidéos comme une sorte d'écran de titre ou d'écran d'avertissement. J'essaie de le transformer en une vidéo avec les mêmes attributs que le reste de la vidéo. Alors d'abord, j'introspecte la vidéo: ffmpeg version 2.2.1 Copyright (c) 2000-2014 the …
Cette question a déjà une réponse ici : bash: historique par commande. Comment ça marche? (1 réponse) Fermé il y a 6 ans . Tout le monde sait (ou devrait savoir!) Que sur un terminal les touches fléchées haut et bas sont utilisées pour naviguer dans l'historique des commandes utilisées. …
Je ne sais pas si cela est prévu, mais mon historique n'est pas enregistré entre les sessions. C'est-à-dire, si je ferme la fenêtre, puis quand je l'ouvre à nouveau, l'historique est vide. Comment puis-je le conserver d'une session à l'autre? Voici les sorties des commandes que vous avez demandées: set …
Je veux donc faire un peu de journalisation et pour cela, je veux mettre une date devant la sortie d'un script bash. Le problème est qu'il a plusieurs lignes de sortie. Je peux seulement mettre la date avant la sortie entière. Mais alors j'ai une ligne sans date dans les …
Je sais qu'il existe des options pour démarrer un nouveau terminal avec un titre spécifié, et il est possible de changer le titre d'un terminal en utilisant le menu: 'Terminal' -> Définir le titre. Cependant, je veux le changer pour un terminal actuel à partir de la ligne de commande. …
Je me retrouve souvent à écrire de longues commandes dans le shell bash - des choses avec de nombreux arguments, des adresses Web, des routes, etc. et ainsi de suite. De temps en temps, je me rendrai compte que j'ai oublié, disons, de mettre mon "bundle exec" au début de …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.