From: Colin Watson <cjwatson@chiark.greenend.org.uk>
Date: Tue, 10 Sep 2002 10:29:28 +0000 (+0000)
Subject: Move most .pl scripts to names without extensions. Drop ssize.pl, which I
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?p=bin.git;a=commitdiff_plain;h=ece46611b24954ba4ec16cc12e5083acc319bc41

Move most .pl scripts to names without extensions. Drop ssize.pl, which I
don't use any more.
---

diff --git a/dctrl-mailbox.pl b/dctrl-mailbox
similarity index 100%
rename from dctrl-mailbox.pl
rename to dctrl-mailbox
diff --git a/expandvars.pl b/expandvars
similarity index 100%
rename from expandvars.pl
rename to expandvars
diff --git a/genheaders b/genheaders
index 8c8073c..d9035f3 100755
--- a/genheaders
+++ b/genheaders
@@ -1,2 +1,2 @@
 #! /bin/sh
-expandvars.pl -s .header.ssi header.ssi
+expandvars -s .header.ssi header.ssi
diff --git a/get-var.pl b/get-var
similarity index 100%
rename from get-var.pl
rename to get-var
diff --git a/mailsort.pl b/mailsort
similarity index 100%
rename from mailsort.pl
rename to mailsort
diff --git a/ssize.pl b/ssize.pl
deleted file mode 100755
index 2278255..0000000
--- a/ssize.pl
+++ /dev/null
@@ -1,23 +0,0 @@
-#! /usr/bin/perl -w
-use diagnostics;
-use strict;
-
-my $body = 0;
-my $filename = shift;
-
-while (<>)
-{
-	if (/^<BODY/)
-	{
-		$body = 1;
-		$_ = <>;
-		$_ = <>;
-		print "<!--#include virtual=\"$filename.header.ssi\" -->\n";
-	}
-	next unless $body;
-	last if /^<\/BODY/;
-	print;
-}
-
-print "<!--#include virtual=\"footer.ssi\" -->\n";
-
diff --git a/taskbot.pl b/taskbot
similarity index 100%
rename from taskbot.pl
rename to taskbot
diff --git a/verify-status.pl b/verify-status
similarity index 100%
rename from verify-status.pl
rename to verify-status