Existe-t-il un moyen d'empêcher toutes les commandes d'être définies comme un alias? Par exemple, un utilisateur ne devrait pas pouvoir définir rmni aucune autre commande (commandes par défaut d'Ubuntu) comme nom
Existe-t-il un moyen d'empêcher toutes les commandes d'être définies comme un alias? Par exemple, un utilisateur ne devrait pas pouvoir définir rmni aucune autre commande (commandes par défaut d'Ubuntu) comme nom
Donc, afin de cacher certains fichiers et dossiers à des yeux non qualifiés, j'ai modifié leurs noms en mettant un point au début du nom. Cela fonctionne et les fichiers sont cachés. Les curieux qui ne sont pas qualifiés ne les verront pas. Et en utilisant Nautilus, j'active et désactive "afficher...
Il est bien connu qu'une commande comme celle-ci: cat filename | some_sed_command >filename efface le nom de fichier, car la redirection de sortie, exécutée avant la commande, entraîne la troncature du nom de fichier. On pourrait résoudre le problème de la manière suivante: cat file |...
Sur une nouvelle installation de 16.04, j'essaie d'installer virtualenvwrapper en suivant cette excellente réponse de Gerhard Burger. après avoir configuré le .bashrc, à chaque ouverture du terminal s'affiche bash: /usr/local/bin/python2.7: No such file or directory virtualenvwrapper.sh: There was...
Je ne suis pas en mesure de tabuler complètement à partir de la ligne de commande dans gnome-terminal lorsque j'ai un astérisque dans la ligne de commande. Le shell par défaut est bash, en utilisant gnome-terminal. Par exemple, Cela fonctionne pour copier un seul fichier dans un répertoire en...
J'avais besoin d'extraire un shasum. Cela fonctionne, mais quelqu'un peut-il expliquer pourquoi? sed 's/^.*= //' -< <(openssl dgst -sha256 filename) Je connais la $( )construction, mais je ne trouve pas de documentation pour <( ), couplée à -<, qui, je suppose, redirige vers le...
Dans le terminal, je peux utiliser !!qui référencera ma commande précédente. Est-il possible de l'utiliser dans un alias? Je l'ai essayé, mais ce qui se passe, c'est que les points d'exclamation doubles sont interprétés littéralement. Ce que je veux avoir, c'est: J'entre une commande Je tape un...
J'ai vu la syntaxe suivante dans un script bash: >$(command) & Je sais que l'esperluette &à la fin fait exécuter une commande en arrière-plan, mais je ne l'ai jamais vue en combinaison avec le signe dollar plus les crochets autour de la commande. Qu'est ce que ça
J'aime avoir un petit terminal pour les petites choses (80 x 24), et un grand terminal pour éditer le code dans vim et autres (120 x 38), et parfois même aller en plein écran, en parcourant l'art ascci? Je ne sais pas. Quoi qu'il en soit, existe-t-il une commande de terminal que je peux utiliser...
Une vidéo Youtube peut être visionnée de manière autonome ou faire partie d'une liste de lecture. Exemple: https://www.youtube.com/watch?v=vbsNiOkm0BU et https://www.youtube.com/watch?v=vbsNiOkm0BU&index=141&list=UUmM7KPLEthAXiPVAgBF6rhA Remarquez la pièce vbsNiOkm0BU. La question est...
J'ai ce répertoire et je veux renommer les fichiers: ===> ls -1 Der-vierte-Weise/ 10 - 10 - Erkenntniss.ogg 1 - 01 - Hoffnung.ogg 11 - 11 - Wahrheit.ogg 12 - 12 - Dankbarkeit.ogg 13 - 13 - Kredits.ogg 2 - 02 - Familie.ogg 3 - 03 - Demut.ogg 4 - 04 - Freude.ogg 5 - 05 - Schoenheit.ogg 6 - 06 -...
J'ai un fichier d'entrée avec des adresses IPv4: 94.228.16.0 - 94.228.25.255 94.241.136.0/24 94.241.136.0 - 94.241.136.255 94.29.128.0/17 94.29.128.0 - 94.29.191.0 94.29.192.0 - 94.29.255.0 94.74.181.0/24 94.74.181.0 - 94.74.181.31 94.74.181.128 - 94.74.181.255 Comment puis-je convertir les plages...
Je viens de mettre à jour mon Ubuntu 16.04 vers 17.04 et j'ai trouvé un petit problème avec la cdcommande. Disons que j'ai deux dossiers: album-01&album-02 Dans Ubuntu 16.04, si je le fais, cd album*il ira dans le premier dossier trouvéalbum-01 Mais dans le nouveau Ubuntu 17.04, si je le fais,...
J'écris sur un script qui redémarre différents serveurs. Après le redémarrage, je veux «attendre» jusqu'à ce que tous les serveurs soient de nouveau en ligne. (Pour garder les choses simples, j'ai défini pour moi en ligne = pingable) Donc, pour chaque serveur que je fais ServerXY_W=1 echo -n...
Chaque fois que j'ouvre un terminal, j'ai cet ensemble de variables: $ echo $http_proxy http://127.0.0.1:8888/ Où cette variable est-elle définie? J'ai vérifié .bashrc, .bash_profile, /etc/bash.bashrcet /etc/environmentil n'y a nulle part là ?! J'ai également regardé les paramètres système dans la...
J'ai rencontré des schémas de globbing et des caractères génériques et je suis particulièrement intéressé [!]. Cette construction est similaire à la [!]construction, sauf qu'au lieu de faire correspondre des caractères à l'intérieur des crochets, elle correspondra à n'importe quel caractère, tant...
Pourquoi la commande mkdir échoue avec: "Aucun fichier ou répertoire de ce type"? #!/bin/bash set -e BIN_DIR="~/bin/" if [ ! -d "$BIN_DIR" ]; then mkdir "$BIN_DIR"
Considérer ce qui suit: $ ksh -c '1(){ echo hi;};1' ksh: 1: invalid function name $ dash -c '1(){ echo hi;};1' dash: 1: Syntax error: Bad function name $ bash -c '1(){ echo hi;};1' bash: `1': not a valid identifier bash: 1: command not found $ mksh -c '1(){ echo hi;};1' hi Fondamentalement,...
Dans Ubuntu 16.04.3, j'ai un script bash très simple: test.sh [[ 0 == 0 ]] && result="true" || result="false" echo $result echo $USER $SHELL $0 Lorsque je l'appelle en tant qu'utilisateur non root meou en tant que root, cela fonctionne comme prévu. Si j'utilise sudo ./test.sh, il se plaint...
J'essaie de renommer des fichiers comme celui-ci: for file in *; do mv -i "$file" "$(echo "$file" | sed -e 's/[^A-Za-z0-9._-]/_/g')"; done Mais la sedcommande remplace tous les espaces par _. Comment puis-je modifier la sedcommande pour y inclure des espaces avec les caractères spécifiés? J'ai...