Top Document: MH Frequently Asked Questions (FAQ) with Answers Previous Document: Switching xmh's editor Next Document: inco - babyl to MH converter See reader questions & answers on this topic! - Help others by sharing your knowledge Date: Fri, 1 Mar 1991 13:03:15 -0800 #!/usr/gnu/bin/perl # incorporate an RMAIL babyl file into an MH folder # # usage: babyl2mh +folder babyl-file # # V. Khera <khera at cs.duke.edu> 17-JUL-1991 # where to find rcvstore $rcvstore = "/usr/local/lib/mh/rcvstore"; # # pull out command line args # die "usage: babyl2mh +folder babyl-file\n" unless @ARGV == 2; $folder = shift; # make sure folder name starts with a "+" (substr($folder,0,1) eq "+") || (substr($folder,0,0) = "+"); $bfname = shift; print "Incorporating RMAIL file $bfname into MH folder $folder\n"; # # read in babyl file. # $/ = "\037"; # this separates the records in a babyl file $* = 1; # records are multi-lines open(BABYL,$bfname) || die "Couldn't open $bfname\n"; $_ = <BABYL>; # discard header. $msgnum = 0; while (<BABYL>) { chop; # get rid of delimeter s/\f(.|\n)*\*\*\* EOOH \*\*\*\n//; # remove duplicate header information open(RCVSTORE,"|" . $rcvstore . " $folder"); print RCVSTORE $_; $msgnum++; print "Message $msgnum done.\n"; } User Contributions:Comment about this article, ask questions, or add new information about this topic:Top Document: MH Frequently Asked Questions (FAQ) with Answers Previous Document: Switching xmh's editor Next Document: inco - babyl to MH converter Single Page [ Usenet FAQs | Web FAQs | Documents | RFC Index ] Send corrections/additions to the FAQ Maintainer: Bill Wohler <wohler@newt.com>
Last Update March 27 2014 @ 02:11 PM
|
How to invest in Bitcoin and receive from $ 8383 per day: https://cutt.us/H7KgvRc?a5kQdKDU5W
How to Make $6226 FAST, Quick Cash, The Busy Budgeter: https://hideuri.com/a7o81M?&ppmne=Yu1yhHoF1
Just how to Make $7457 FAST, Rapid Cash, The Busy Budgeter: https://hideuri.com/Kjn8ZA?r4nEosWMTJLgNE
How to get 0,988 Bitcoin per week: https://soo.gd/inar?5fp7mb
Just how would certainly you utilize $92431 to make more money: https://cutt.us/PXn2tI5gS?X3U0km
What's the simplest means to earn $76177 a month: https://hideuri.com/qJodXr?z022EajPURJW
Forex + Bitcoin = $ 6282 per week: https://soo.gd/3di0p?&tdpud=PQQ23hz
Exactly how to Make $6711 FAST, Rapid Money, The Busy Budgeter: https://v.ht/mlPaUOv?ck5z2dNXkBNk9
Forex + Bitcoin = $ 4171 per week: https://cutt.us/DuuNMCrKx?&bddar=51Ep8
Invest $ 2218 and get $ 63872 every month: https://v.ht/Cud6E4m?ywlfI5R43BGfMX
Invest $ 84453 in Cryptocurrency once and get $ 338351 passive income per month: https://tiny.pl/tl1q5?&rbrti=i3Um2CK
How to get 0,931 BTC per week: https://v.ht/G2WkL?L3YWcDi