run.sh

#!/bin/bash


echo "Do please press ^C when fetcher is at tip."

_base=$HOME/work/registry

$_base/bin/fetcher $_base/in
$_base/bin/processor $_base/in $_base/remote
$_base/bin/strengthen-trust $_base/in
$_base/bin/processor -w $_base/in $_base/remote
Add total run bash 2026-01-30 18:58:59 +01:00			`#!/bin/bash`


			`echo "Do please press ^C when fetcher is at tip."`

			`_base=$HOME/work/registry`

Rename variable 2026-02-03 16:44:57 +01:00			`$_base/bin/fetcher $_base/in`
			`$_base/bin/processor $_base/in $_base/remote`
			`$_base/bin/strengthen-trust $_base/in`
			`$_base/bin/processor -w $_base/in $_base/remote`