From d572da929b32f5d67c22f936a3045ec5ce2c87f0 Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Sun, 3 Nov 2019 12:41:56 +0100 Subject: [PATCH] src: a script for managing sources --- src | 80 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100755 src diff --git a/src b/src new file mode 100755 index 0000000..4660175 --- /dev/null +++ b/src @@ -0,0 +1,80 @@ +#!/bin/sh + +usage() { + cat <