diff options
Diffstat (limited to 'kio/proxytype.pl')
-rwxr-xr-x | kio/proxytype.pl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/kio/proxytype.pl b/kio/proxytype.pl new file mode 100755 index 000000000..553db53f7 --- /dev/null +++ b/kio/proxytype.pl @@ -0,0 +1,11 @@ +#!/usr/bin/perl +# the script is called with interpreter, so don't worry about the path + +while(<>) +{ + $useproxy = 1 if /UseProxy=true/; + $usepac = 1 if /Proxy Config Script=.*\S/; +} +printf ("# DELETE UseProxy\n"); +$proxytype = $useproxy ? ($usepac ? 2 : 1) : 0; +print "ProxyType=$proxytype\n" if $proxytype; |