Server IP : 85.214.239.14 / Your IP : 216.73.216.84 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/2/cwd/proc/2/task/2/root/proc/2/cwd/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");