index

Recherche

Voici les résultats de votre recherche.

redirection
30 Occurrences trouvées, Dernière modification :
cuted]]. Under normal circumstances, there are 3 files open, accessible by the file descriptors 0, 1 and 2, all connected to your terminal: ^Name^FD^Descript... wrap> Both, ''stdout'' and ''stderr'' are output file descriptors. Their difference is the **convention... ow this convention! Whenever you **name** such a filedescriptor, i.e. you want to redirect this descrip
check-script
10 Occurrences trouvées, Dernière modification :
se DIR=$1 fi echo "Evaluate *.py statistics" FILES=$(find $DIR -name '*.py' | wc -l) LINES=$((find ... py' -print0 | xargs -0 cat) | wc -l) echo "PYTHON FILES: $FILES" echo "PYTHON LINES: $LINES" </sxh> This script evaluate the number of python files and the number of python code lines in the files
obsolete
8 Occurrences trouvées, Dernière modification :
^ Syntax ^ Replacement ^ Description ^ |''&>FILE'' and ''>&FILE'' |''>FILE 2>&1'' |This redirection syntax is short for ''>FILE 2>&1'' and originates in the C Shell. The latter
positional-parameters
5 Occurrences trouvées, Dernière modification :
a bad idea if you write a script that takes many filenames as arguments. => forget that one ==== Loop... : ''COMMAND [options] <params>'' # Like 'cat -A file.txt' See simple option parsing code below. It's ... d more. while : do case "$1" in -f | --file) file="$2" # You may want to check validity of $2 shift 2 ;; -h | --help) display_h
flac2mp3
3 Occurrences trouvées, Dernière modification :
flac2mp3.sh Version2 ########## #!/bin/bash for FILE in *.flac; do ffmpeg -i "$FILE" -ab 320k -map_metadata 0 "${FILE%.*}.mp3"; done </code> ## links https://blog.seboss666.info/2014/04
quoting
2 Occurrences trouvées, Dernière modification :
ral ''*'' as argument. It will, unless you have a file named ''*'', spit out an error. <code> echo "You... h ['' you will see that there is in fact a binary file with that name. So if we were writing this as a t
  • index.txt
  • Dernière modification : 2022/11/08 16:43
  • de 127.0.0.1