From aef1c0bebcdf8f3cd0d39e7e52d3738824d65ff2 Mon Sep 17 00:00:00 2001 From: Johan Le Baut Date: Fri, 14 Oct 2022 10:57:18 +0200 Subject: [PATCH] delete junk --- data-ingest/i | 12 ------------ data-ingest/j | 3 --- 2 files changed, 15 deletions(-) delete mode 100755 data-ingest/i delete mode 100644 data-ingest/j diff --git a/data-ingest/i b/data-ingest/i deleted file mode 100755 index 2c6651d..0000000 --- a/data-ingest/i +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env bash -set -eau -o pipefail - -rc=0 -# false | false || rc="${PIPESTATUS[@]}" - - -out=$(echo toto && false) || rc=2 - -echo $out -echo $? -echo $rc diff --git a/data-ingest/j b/data-ingest/j deleted file mode 100644 index 4c19a0d..0000000 --- a/data-ingest/j +++ /dev/null @@ -1,3 +0,0 @@ -toto -toti -toto