Undo wrong change. Sorry

Ivan Gonzalez-Polanco
2019-08-28 20:33:58 -04:00
parent a3a84717e1
commit dfe288950e

@@ -15,7 +15,7 @@ echo $n
```bash
# Bash specific: process substitution. Also try shopts like lastpipe.
n=0
while read i; do (( n+=i )); done < "$(printf "%s\n" {1..10})"
while read i; do (( n+=i )); done < <(printf "%s\n" {1..10})
echo $n
```