Use set -e

[fredefox]

I believe you can use set -e rather rather than || exit 1

cubical-demo/test.sh

Line 1 in f9f793c

agda --ignore-interfaces examples/Cubical/Examples/Cube.agda || exit 1

[Saizan]

I'm terrible at scripting, what does that do?

[fredefox]

Exit on the first error :)

…

On Mon, Jan 8, 2018 at 5:41 PM, Andrea Vezzosi ***@***.***> wrote: I'm terrible at scripting, what does that do? — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#16 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AEVklReM5wcJR_SRDA0K57kitAvfTP6yks5tIkVOgaJpZM4RWl7u> .

-- Regards *Frederik Hanghøj Iversen*

[fredefox]

It also has the benefit of propagating the exit code rather than masking it with 1. On Mon, Jan 8, 2018 at 5:42 PM, Frederik Hanghøj Iversen <[email protected]

…

wrote: Exit on the first error :) On Mon, Jan 8, 2018 at 5:41 PM, Andrea Vezzosi ***@***.***> wrote: > I'm terrible at scripting, what does that do? > > — > You are receiving this because you authored the thread. > Reply to this email directly, view it on GitHub > <#16 (comment)>, > or mute the thread > <https://github.com/notifications/unsubscribe-auth/AEVklReM5wcJR_SRDA0K57kitAvfTP6yks5tIkVOgaJpZM4RWl7u> > . > -- Regards *Frederik Hanghøj Iversen*

-- Regards *Frederik Hanghøj Iversen*