wwwoffle-config.pl
上传用户:seven77cht
上传日期:2007-01-04
资源大小:486k
文件大小:2k
源码类别:

浏览器

开发平台:

Unix_Linux

  1. #!/usr/bin/perl
  2. # Copyright (c) Christian Zagrodnick 1999
  3. # Distributed unter the terms of GPL.
  4. # 2nd Version
  5. # With wwwoffle-config you can have different configurations for wwwoffle
  6. # in one single file. 
  7. #
  8. # There are two ways of configuring now: `#//+' and `#//-'
  9. # With #//+ the leading `#' in the NEXT line will be removed.
  10. # With #//- the next line will be preceeded with a `#'
  11. #
  12. #
  13. # You can call wwwoffle-config from your /etc/ip-up
  14. # with the current interface as I did (wwwoffle-config $INTERFACE):
  15. #
  16. #    #//+ippp0
  17. #    # default=de-relay.boerde.de:8080
  18. #
  19. #    #//+ippp0
  20. #    # *://de-relay.boerde.de/=none
  21. #
  22. #    #//+ippp2
  23. #    # default=noe
  24. #
  25. # Or the other way (line will be removed if ippp2 is the interface): 
  26. #
  27. #   #//-ippp2
  28. #   default=de-relay.boerde.de:8080
  29. #
  30. #   
  31. # The `main' config-file - where to read from
  32. $INFILE="/etc/wwwoffle.conf.main";
  33. # The `real' config-file, which wwwoffle reads
  34. $OUTFILE="/etc/wwwoffle.conf";
  35. # Howto call `wwwoffle -config' - if you don't want it to be called 
  36. # prefix the line with a `#'
  37. $CALL="/usr/local/bin/wwwoffle -config";
  38. open(INPUT, $INFILE) || die "Cannot open inputfile ($INFILE)";
  39. open(OUTPUT, ">$OUTFILE") || die "Cannot open outputfile ($OUTFILE)";
  40. if (defined $ARGV[0]) {
  41.   $provider=$ARGV[0];
  42. } else {
  43.   $provider="-"
  44. }
  45. while (<INPUT>) {
  46.   if (defined($strip)) {
  47.     s/^#//;
  48.     undef($strip);
  49.   }
  50.   print OUTPUT;
  51.   if (/^#//-$provider$/) {
  52.     print OUTPUT "#";
  53.   }
  54.   if (/^#//+$provider$/) {
  55.     $strip=1;
  56.   }
  57. }
  58. if (defined $CALL) {
  59.   print qx{ $CALL };
  60. }