User Tools

Site Tools


pages:howtos:bash:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
pages:howtos:bash:start [2021/02/10 15:56] – created mischerhpages:howtos:bash:start [2024/05/13 15:58] (current) mischerh
Line 3: Line 3:
   * [[http://www.gnu.org/savannah-checkouts/gnu/bash/manual/bash.html|Bash Manual]]   * [[http://www.gnu.org/savannah-checkouts/gnu/bash/manual/bash.html|Bash Manual]]
   * [[https://tldp.org/LDP/abs/html/|Advanced Bash-Scripting Guide]]   * [[https://tldp.org/LDP/abs/html/|Advanced Bash-Scripting Guide]]
 +  * [[https://askubuntu.com/questions/385528/how-to-increment-a-variable-in-bash | How to increment a variable in bash?]]
 +  * [[https://unix.stackexchange.com/questions/29845/how-can-i-do-a-copy-if-changed-operation | How can I do a "copy if changed" operation?]]
  
 {{simplenavi>pages:howtos:bash}} {{simplenavi>pages:howtos:bash}}
 +
 +
 +<sxh bash; gutter: false>
 +    #!/bin/bash
 +    set -eEu -o pipefail
 +    shopt -s failglob
 +    trap 'echo >&2 "${BASH_SOURCE:-$0}:${LINENO}: unknown error"' ERR
 +</sxh>
pages/howtos/bash/start.1612972617.txt.gz · Last modified: 2021/02/10 15:56 by mischerh