From c3d16cdf9ad7d96e0c6c7478b202e0b195f5c91d Mon Sep 17 00:00:00 2001
From: Quentin Duchemin <quentinduchemin@tuta.io>
Date: Wed, 23 Jan 2019 07:27:08 +0100
Subject: [PATCH] bash: add -e option (#2723)

---
 pages/common/bash.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/common/bash.md b/pages/common/bash.md
index a4fe53922..43fdad756 100644
--- a/pages/common/bash.md
+++ b/pages/common/bash.md
@@ -19,6 +19,10 @@
 
 `bash -x {{file.sh}}`
 
+- Run commands from a file, stopping at the first error:
+
+`bash -e {{file.sh}}`
+
 - Run commands from STDIN:
 
 `bash -s`