• Aller au contenu

wikinotes

Outils pour utilisateurs

  • S'identifier

Outils du site

  • Derniers changements
  • Gestionnaire Multimédia
  • Plan du site
Piste : • 140_volet_pratique • 630_siem_modernes • 620_siem_definitions • parsec • norme-ata • 230_securiser_ses_mots_de_passe • integrer-jeux-dosbox • documents-de-bord • resolution-3-3 • boutons

file

Recherche

Voici les résultats de votre recherche.

Se termine par
  • Correspondance exacte
  • Commence par
  • Se termine par
  • Contient
@cours:informatique:fun_mooc:maitrise_du_bash_univ-reunion
  • toute catégorie
toute date
  • toute date
  • la semaine dernière
  • le mois dernier
  • l'année dernière
Trier par nombre de résultats
  • Trier par nombre de résultats
  • Trier par date de modification

Résultats plein texte:

320_filtres_simples
20 Occurrences trouvées, Dernière modification : il y a 5 ans
ire les 15 premières lignes $ head -n 15 /path/to/file </code> Pour extraire les dernière lignes d'un f... ire les 20 dernières lignes $ tail -n 20 /path/to/file </code> La commande **split** permet de découper... ts ou en nombre de lignes. <code bash> # découpe file en fichiers de 30 lignes max avec suffixe # numér... ) et le prefixe test_ $ split -l 30 -d /path/to/file test_ </code> ===== Trier les enregistrements ==
420_expressions_et_conditions
10 Occurrences trouvées, Dernière modification : il y a 5 ans
| vrai si fichier non vide | [ -s "$file" ] | ^ -f | vrai si fichier existe et ordinaire | [ -f "$file" ] | ^ -d | vrai si répertoire existe ... | vrai si fichier existe | [ -e "$file" ] | ^ -s | vrai si fichier non vide | [ -s "$file" ] | ^ -r | vrai si fichier est access
310_variables_et_environnement
5 Occurrences trouvées, Dernière modification : il y a 4 ans
e et du contexte d'invocation de Bash: ^ /etc/profile | Chargé pour tous les utilisateurs lors de l' ... hells. | ^ /etc/bashrc | Chargé après /etc/profile uniquement pour un shell Bash. Contient des décla... tions ou primitives spécifiques à Bash. | ^ ~/.profile | Propre à l'utilisateur, chargé par un shell de connexion sauf si des fichiers ~/.bash_profile ou ~/.bash_login existent. | ===== Quiz ===== Q
440_structures_iteratives
5 Occurrences trouvées, Dernière modification : il y a 5 ans
fichier sur son entrée standard: <code bash> cat file.txt | script.sh </code> Si l'on souhaite pouvoi... # développement de chaînes de caractères $ echo file.{pdf,png,jpg} file.pdf file.png file.jpg # développement combiné $ echo A{1..4}{0..3} A10 A11 A12 A13 A20 A21 A22 A23 A30
330_filtres_complexes
3 Occurrences trouvées, Dernière modification : il y a 5 ans
pour exprimer ce traitement est la sui- vante: <file> s/expression-reguliere/chaine/g </file> * **s** pour substitute * **g** permet de répéter plusieu... e par une chaîne de caractères: <code bash> $ cat file | sed -e ’s/.*/Mon prefixe: &/’ </code> Ici le
450_structures_routines
2 Occurrences trouvées, Dernière modification : il y a 5 ans
ir des fonctions dans les fichiers .bashrc ou .profile qui permettent d’avoir des traitements plus compl... rs de préférences de l'utilisateur .bashrc ou .profile), ne peut pas s’utiliser dans un script alors qu’
210_aide_interaction
1 Occurrences trouvées, Dernière modification : il y a 5 ans
ais les paramètres corrects $ eho "hello bash!" > file.txt eho : commande introuvable # on corrige le m... t récupéré dans l'historique: <code bash> $ wc -c file1.txt 42 file1.txt # ici on crée un nouveau fichier par altération du nom de fichier # récupéré sur l'a

Outils de la page

  • Afficher la page
  • Anciennes révisions
  • Liens de retour
  • Tout plier/déplier
  • Haut de page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : GNU Free Documentation License 1.3
GNU Free Documentation License 1.3 Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki