Come incrementare la variabile locale in Bash?

Dati

1
\begin{document}
3

Codice

#!/bin/bash

function getStart {
        local START="$(awk '/begin\{document\}/{ print NR; exit }' data.tex)"
        echo $START
}

START2=$(getStart)
echo $START2

che ritorna 2ma voglio 3. Cambio senza successo la fine con questa risposta su Come posso aggiungere numeri in uno script bash :

START2=$((getStart+1))

Come puoi incrementare una variabile locale nello script Bash?

Sto ricevendo 2dal tuo codice. Tuttavia, puoi utilizzare la stessa tecnica per qualsiasi variabile o numero:

local start=1
(( start++ ))

o

(( ++start ))

o

(( start += 1 ))

o

(( start = start + 1 ))

o solo

local start=1
echo $(( start + 1 ))

eccetera.

Provare:

START2=$(( `getStart` + 1 ));

Il $(( ))dice bash che è eseguire un'operazione aritmetica, mentre backticks dice bash per valutare l'espressione contenente, sia esso una funzione definita dall'utente o una chiamata a un programma esterno, e restituire il contenuto di stdout.