From 3e94a2865e453abb1e46fdca6ede8932fa189cd9 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Tue, 5 Apr 2022 13:01:17 +0200
Subject: notes/bash: add script header

---
 _notes/bash.html | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/_notes/bash.html b/_notes/bash.html
index d15d9a7..cedfb43 100644
--- a/_notes/bash.html
+++ b/_notes/bash.html
@@ -5,6 +5,17 @@ layout: plain
 links:
   - {rel: stylesheet, href: 'assets/css/bash.css'}
 features:
+  - title: Script header
+    topics:
+      - do:
+          - |
+            #!/usr/bin/env bash
+
+            set -o errexit -o nounset -o pipefail
+            shopt -s inherit_errexit lastpipe
+        dont:
+          - |
+            #!/bin/sh -e
   - title: Arrays
     topics:
       - title: Declaration
@@ -148,7 +159,9 @@ features:
 {% for feature in page.features %}
   <h2>{{ feature.title }}</h2>
   {% for topic in feature.topics %}
-    <h3>{{ topic.title }}</h3>
+    {% if topic.title %}
+      <h3>{{ topic.title }}</h3>
+    {% endif %}
     <div class="row">
       <div class="col-md-6">
         {% for guide in topic.do %}
-- 
cgit v1.2.3