Ubuntu bash

7

Comment déterminer si une chaîne est une sous-chaîne d'une autre dans bash?

Je veux voir si une chaîne est à l'intérieur d' une partie d'une autre chaîne. par exemple: 'ab' in 'abc' -> true 'ab' in 'bcd' -> false Comment puis-je faire cela dans les conditions d'un script bash?

49 command-line bash scripts

4

Comment nettoyer ou désactiver le cache mémoire?

Après le démarrage du système, mon cache mémoire se remplit en quelques minutes et il commence à utiliser le swap. Voici une capture d'écran de / proc / meminfo. Cependant, si je peux désactiver ce processus / nettoyer le cache une fois par la suite, je pense que mon système …

49 software-recommendation kernel bash memory cache

2

bashrc ou bash_profile?

Je connais la différence entre les deux scripts de connexion bash: .bashrc est exécuté uniquement par des shells "non-login". .bash_profile(ou .bash_loginou .profile) est exécuté par des coquilles "login". Quelqu'un a-t-il de bons exemples de choses qui conviennent mieux à une exécution avec un login uniquement, telles que je les mettrais …

49 scripts startup bash

6

Comment réinitialiser une fenêtre de terminal au lieu de la fermer et d’en démarrer une nouvelle?

Lorsque j'apporte des modifications au comportement shell / bash, telles que la configuration d'un alias, une commande rapide permet-elle de réinitialiser la fenêtre du terminal au lieu de fermer et d'ouvrir une nouvelle fenêtre?

49 bash

3

Signification de exit 0, exit 1 et exit 2 dans un script bash

Je fais des exercices pratiques. Ecrivez un script qui se verra attribuer un numéro de mois et traduira ce numéro en un nom de mois. Le résultat sera imprimé sur la sortie standard. J'ai fait une solution: #test for number of argument if [ "$#" -eq 0 ] ; then …

49 bash scripts

7

Commande pour convertir une chaîne en majuscule en minuscule?

Quelle est la commande Bash que je peux utiliser pour convertir une chaîne en majuscule en minuscule et vice-versa? Je vous remercie.

47 bash scripts

9

Chaque commande échoue avec “commande introuvable” après la modification de .bash_profile?

J'étais en train de mettre à jour mon fichier .bash_profile, et malheureusement, j'ai fait quelques mises à jour et maintenant je reçois: env: bash: No such file or directory env: bash: No such file or directory env: bash: No such file or directory env: bash: No such file or directory …

47 command-line bash

5

Calculer le nombre de lignes dans un fichier?

Comment calculer et afficher le nombre de lignes et de mots contenus dans un fichier .sh?

47 command-line bash

1

Est-il possible d'arrêter la création de .sudo_as_admin_successful?

Chaque fois que j'exécute une commande avec sudo, un fichier appelé .sudo_as_admin_successfulest créé dans mon répertoire personnel. Autant que je sache, ceci existe uniquement dans le but de désactiver ce message que bash affiche au démarrage: To run a command as administrator (user "root"), use "sudo <command>". See "man sudo_root" …

46 bash sudo

9

Comment utiliser wget / curl pour télécharger depuis un site auquel je suis connecté?

Certaines parties de wikipedia apparaissent différemment lorsque vous êtes connecté. Je voudrais wget les pages utilisateur afin qu'elles apparaissent comme si j'étais connecté. Y a-t-il un moyen de wget des pages utilisateur comme celle-ci http://en.wikipedia.org/wiki/User:A c'est la page de connexion: http://en.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=Login&campaign=ACP3

46 bash wget

8

Concaténation de plusieurs fichiers .mp3 en un seul .mp3

Comme il a été suggéré ici, j'utilise une catcommande pour concaténer plusieurs fichiers .mp3 en un seul fichier .mp3. Imaginez, j'ai les fichiers .mp3 suivants dans le dossier actuel: 001001.mp3 001002.mp3 001003.mp3 001004.mp3 001005.mp3 ou comme ceci: 096001.mp3 096002.mp3 096003.mp3 096004.mp3 Je dois concaténer ces fichiers .mp3 en ordre croissant, …

46 command-line bash files

6

/ etc / profile n'est pas source

Pour 11.04, j'ai fait une nouvelle installation de mon système. Une partie de cette installation a été d'installer RVM , qui colle un rvm.shdans /etc/profile.d/. Cela ne fonctionne pas car /etc/profile(qui charge chaque + r /etc/profile.d/*.sh) n'est pas en cours de chargement. Selon la documentation, le profil n'est créé que …

45 bash rvm

13

Comment arrondir les nombres décimaux en utilisant bc dans bash?

Un exemple rapide de ce que je veux utiliser les scripts bash: #!/bin/bash echo "Insert the price you want to calculate:" read float echo "This is the price without taxes:" echo "scale=2; $float/1.18" |bc -l read -p "Press any key to continue..." bash scriptname.sh En supposant que le prix est: …

45 bash scripts bc

16

Comment afficher les chemins dans $ PATH séparément

Je n'arrive pas à comprendre comment lister les différents chemins $PATHséparément afin qu'ils ressemblent à ceci: /bin /usr/bin /usr/local/bin etc. Est-ce que quelqu'un sait la bonne variable pour cela?

45 bash paths

6

Différences entre les guillemets doubles "", les guillemets simples "" et les guillemets simples "en ligne de commande?

Je vois souvent des tutoriels sur le Web ou des publications sur ce site qui utilisent beaucoup les caractères suivants sur la ligne de commande. Il semble souvent qu'ils soient utilisés à des fins similaires. Quelles sont les différences entre eux lorsqu'ils sont utilisés sur la ligne de commande ou …

43 command-line bash

Questions marquées «bash»