index

Recherche

Voici les résultats de votre recherche.

redirection
8 Occurrences trouvées, Dernière modification :
d goes to, and where the input of a command comes from. It's a mighty tool that, together with pipelines... FILENAME''|references a normal, ordinary filename from the filesystem (which can of course be a FIFO, to... is a valid port number or service name: redirect from/to the corresponding TCP socket| |''/dev/udp/HOST... is a valid port number or service name: redirect from/to the corresponding UDP socket| If a target/sou
obsolete
5 Occurrences trouvées, Dernière modification :
|This is an alternate pipeline operator derived from Zsh. Officially, it is not considered deprecated ... about by a few unintuitive features carried over from the Bourne shell due to complaints of broken scri... portant expansions are performed at the same time from left to right. However, a few expansions, most no... ', it bypasses control flow and exits immediately from the current shell environment. Like non-zero stat
quoting
5 Occurrences trouvées, Dernière modification :
terpreted as **line continuation**. It is removed from the input stream and thus effectively ignored. Us... ur code: <code> # escapestr_sed() # read a stream from stdin and escape characters in text that could be... mal number and prints the corresponding character from the character set (4 digits) (Bash 4.2-alpha) | |... mal number and prints the corresponding character from the character set (8 digits) (Bash 4.2-alpha) | |
positional-parameters
4 Occurrences trouvées, Dernière modification :
name)| |''$1 ... $9''|the argument list elements from 1 to 9| |''${10} ... ${N}''|the argument list ele... l parameter, it's a special parameter independent from the positional parameter list. It can be set to a... h have the same effect: All positional parameters from ''$1'' to the last one used are expanded without ... o "artificially" change the positional parameters from inside the script or function: <code> set "This
  • index.txt
  • Dernière modification : 2022/11/08 16:43
  • de 127.0.0.1