From 59398d77a2663f0adfc3a0edd6f166acfcf583f5 Mon Sep 17 00:00:00 2001
From: crc <crc@noemail.net>
Date: Fri, 28 Jun 2019 16:48:18 +0000
Subject: [PATCH] add a shell script to help with the future file renaming
 process

FossilOrigin-Name: dfbc1d4b76728a46bad875e57bbc3eba40b3dcc4b0a45ff5ac0bc91efa467460
---
 tools/rename-forth-to-retro.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 tools/rename-forth-to-retro.sh

diff --git a/tools/rename-forth-to-retro.sh b/tools/rename-forth-to-retro.sh
new file mode 100755
index 0000000..4a620c6
--- /dev/null
+++ b/tools/rename-forth-to-retro.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+for f in *.forth; do mv -- "$f" "${f%.forth}.retro" ; done
+for f in *.retro; do fossil rename -- "${f%.retro}.forth" "$f" ; done