⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 post-process.pl

📁 柯老师网站上找到的
💻 PL
字号:
#!/usr/bin/perl# -*-	Mode:Perl; tab-width:8; indent-tabs-mode:t -*- ## post-process.pl# Copyright (C) 1999 by USC/ISI# All rights reserved.                                            #                                                                # Redistribution and use in source and binary forms are permitted# provided that the above copyright notice and this paragraph are# duplicated in all such forms and that any documentation, advertising# materials, and other materials related to such distribution and use# acknowledge that the software was developed by the University of# Southern California, Information Sciences Institute.  The name of the# University may not be used to endorse or promote products derived from# this software without specific prior written permission.# # THIS SOFTWARE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED# WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.# # Contributed by Nader Salehi (USC/ISI), http://www.isi.edu/~salehi# die "usage: $0 working-directory\n" if ($#ARGV < 0);my($working_dir) = $ARGV[0];chdir($working_dir) || die "cannot chdir $working_dir\n";require "ctime.pl";%MonthTbl = ('jan', 'January', 'feb', 'February', 'mar', 'March', 'apr', 'April', 'may', 'May', 'jun', 'June', 'jul', 'July', 'aug', 'August', 'sep', 'September', 'oct', 'October', 'nov', 'November', 'dec', 'December');&change_title();@FILES = `ls *.html`;foreach $filename (@FILES) {    chop $filename;    &adjust_buttons($filename);};exit 0;sub adjust_buttons {    local($filename) = @_;    $change = 0;    $outFile = "$filename.new";    open(FILE, "$filename") || die "Cannot open $filename: $_";    open(OUTFILE, ">$outFile") || die "Cannot open $outFile: $_";    my($in_pre) = 0;    while (<FILE>) {	s/(SRC\s*=\s*")[^>"].*(next_motif.+gif)/$1$2/g && ($change = 1);	s/(SRC\s*=\s*")[^>"].*(up_motif.+gif)/$1$2/g && ($change = 1);	s/(SRC\s*=\s*")[^>"].*(index_motif.+gif)/$1$2/g && ($change = 1);	s/(SRC\s*=\s*")[^>"].*(contents_motif.+gif)/$1$2/g && ($change = 1);	s/(SRC\s*=\s*")[^>"].*(previous_motif.+gif)/$1$2/g && ($change = 1);	if (!$in_pre && /^<PRE>$/) {	    $in_pre = 1;	} elsif ($in_pre && /^<\/PRE>$/) {	    $in_pre = 0;	} elsif ($in_pre) {	    s/\\([\$_])/$1/g;	    $change = 1;	};	print OUTFILE;    }				# while    close(OUTFILE);    close(FILE);    if ($change) {	print "$filename has been altered!\n";	rename($filename, "$filename.org");	rename($outFile, $filename);    } else {	unlink($outFile);    }				# else}				# adjust_buttonssub change_title {    $Date = &ctime(time) . "\n";    $Date =~ /^(\w+)\s+(\w+)\s+(\d+)\s+(\d+):(\d+):(\d+)[^\d]*(\d+)/;    $temp = $2;    $temp =~ tr/A-Z/a-z/;    $month = $MonthTbl{$temp};    $year = $7;    $day = $3;        print "$month $day, $year\n";    @FILES = `ls *.tex`;        $change = 0;    $filename = "index.html";    $outFile = "$filename.new";    $title = "The <i>ns</i> Manual (formerly <i>ns</i> Notes and Documentation)";    $author = "The VINT Project<br>A collaboratoin between researchers at<br>UC Berkeley, LBL, USC/ISI, and Xerox PARC.<br>Kevin Fall, Editor<br>Kannan Varadhan, Editor";        open(FILE, "$filename") || die "Cannot open $filename: $_";    open(OUTFILE, ">$outFile") || die "Cannot create temp file $_";    while (<FILE>) {	s/^(<FONT SIZE="\+2">)\s*title/$1 $title/ && ($change = 1);	s/^author(<\/TD>)/$author $1/ && ($change = 1);	s/^(<FONT SIZE="\+1">)date/$1$month $day, $year/ && ($change = 1);	print OUTFILE;    }				# while    close(OUTFILE);    close(FILE);    if ($change == 1) {	print "$filename has been altered!\n";	rename($filename, "$filename.org");	rename($outFile, $filename);    } else {	unlink($outFile);    }				# else}				# change_title

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -