Bash colon operator in variable substitution?
This takes the variable branch_name, if it is defined. If it is not defined, use HEAD instead. See Shell Parameter Expansion for details: 3.5.3 Shell Parameter Expansion The ‘$’ character introduces parameter expansion, command substitution, or arithmetic expansion. … The basic form of parameter expansion is ${parameter}. … When not performing substring expansion, using the … Read more