| Server IP : 182.53.201.61 / Your IP : 216.73.217.175 Web Server : Apache/2.2.15 (Fedora) System : Linux km10.dyndns.org 2.6.31.5-127.fc12.i686.PAE #1 SMP Sat Nov 7 21:25:57 EST 2009 i686 User : apache ( 48) PHP Version : 5.3.3 Disable Function : NONE MySQL : ON | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/26998/root/usr/bin/ |
Upload File : |
#! /usr/bin/perl
# little script to extract the text from the tips file
# and output it, so xgettext can add the tips to the po file
#
# 2000 by Matthias Kiefer <matthias.kiefer@gmx.de>
# IMPORTANT NOTE: Do not change the output without checking if
# translations still work!
sub printText
{
my $text = $_[0];
if ( $text cmp "" )
{
# replace \ with \\
$text =~ s/\\/\\\\/g;
# replace " with \"
$text =~ s/"/\\"/g;
print "\"$text\\n\"\n";
}
}
open(FILE,"<","tips") or die "unable to open tips file";
if ( $^V ge v5.8.0 )
{
binmode(FILE,":utf8");
binmode(STDOUT,":utf8");
}
$inTip=0;
while(<FILE>)
{
chomp;
# tip starts with <html>
if(/^\s*<html>(.*)/io)
{
$inTip=1;
print "// i18n: file: tips:$.\n// i18n: ectx: \@info:tipoftheday\n";
print "i18n(";
printText($1);
next;
}
if($inTip!=0)
{
# tip ends with </html>
if(/^(.*)\s*<\/html>/io)
{
printText($1);
print ");\n\n";
$inTip=0;
}
else
{
printText($_);
}
}
}
close(FILE);