chiark / gitweb /
Move most .pl scripts to names without extensions. Drop ssize.pl, which I
authorColin Watson <cjwatson@chiark.greenend.org.uk>
Tue, 10 Sep 2002 10:29:28 +0000 (10:29 +0000)
committerColin Watson <cjwatson@chiark.greenend.org.uk>
Tue, 10 Sep 2002 10:29:28 +0000 (10:29 +0000)
don't use any more.

dctrl-mailbox [moved from dctrl-mailbox.pl with 100% similarity]
expandvars [moved from expandvars.pl with 100% similarity]
genheaders
get-var [moved from get-var.pl with 100% similarity]
mailsort [moved from mailsort.pl with 100% similarity]
ssize.pl [deleted file]
taskbot [moved from taskbot.pl with 100% similarity]
verify-status [moved from verify-status.pl with 100% similarity]

similarity index 100%
rename from dctrl-mailbox.pl
rename to dctrl-mailbox
similarity index 100%
rename from expandvars.pl
rename to expandvars
index 8c8073cd037ed74b0453a2222e239973b0509e79..d9035f319634dbd64c1a5a442de59549aa692ac3 100755 (executable)
@@ -1,2 +1,2 @@
 #! /bin/sh
 #! /bin/sh
-expandvars.pl -s .header.ssi header.ssi
+expandvars -s .header.ssi header.ssi
similarity index 100%
rename from get-var.pl
rename to get-var
similarity index 100%
rename from mailsort.pl
rename to mailsort
diff --git a/ssize.pl b/ssize.pl
deleted file mode 100755 (executable)
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";
-
similarity index 100%
rename from taskbot.pl
rename to taskbot
similarity index 100%
rename from verify-status.pl
rename to verify-status