| Server IP : 85.214.239.14 / Your IP : 216.73.216.53 Web Server : Apache/2.4.65 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Mon Sep 30 15:36:27 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 8.2.29 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/2/cwd/proc/2/root/proc/self/root/proc/3/task/3/root/bin/ |
Upload File : |
#!/usr/bin/perl
eval 'exec perl -S $0 "$@"'
if $running_under_some_shell;
# mangle PostScript produced by PSPrint to make it almost conforming
#
# Copyright (C) Angus J. C. Duggan 1991-1995
# See file LICENSE for details.
$header = 1; $ignore = 0;
$verbose = 0;
@body = ();
%fonts = (); $font = "";
$inchar = 0; @char = ();
while (<>) {
if (/^\@end$/) {
$ignore = 1;
} elsif (/^[0-9]+ \@bop0$/) {
$ignore = 0;
$header = 1;
} elsif ($header) {
if (/^\/([a-z.0-9]+) \@newfont$/) {
if (! defined($fonts{$1})) {
$fonts{$1} = 1;
print;
} elsif ($verbose) {
print STDERR "$font already defined\n";
}
} elsif (/^([a-z.0-9]+) sf$/) {
$font = $1;
print;
} elsif (/^\[</) {
$inchar = 1;
push (@char, $_);
} elsif ($inchar) {
push (@char, $_);
if (/.*\] ([0-9]+) dc$/) {
if (! defined($fonts{$font,$1})) {
$fonts{$font,$1} = 1;
print (@char);
} elsif ($verbose) {
print STDERR "$font character $1 already defined\n";
}
$inchar = 0;
@char = ();
}
} elsif (/^([0-9]+) \@bop1$/) {
$header = 0;
push (@body, "%%Page: ? $1\n");
push (@body, $_);
} else {
print;
}
} elsif (! $ignore) {
push (@body, $_);
}
}
print (@body);
print ("\@end\n");