git.roojs.org Git - app.webkitpdf/blob - webkitpdf.vala

   1
   2 // valac    --thread  webkitpdf.vala  BrowserWindow.vala --pkg glib-2.0 --pkg webkit-1.0 --pkg gtk+-2.0 -o /usr/bin/webkitpdf --target-glib=2.32
   3
   4 public class webkitpdf {
   5
   6     public static string? opt_url = null;
   7         public static uint opt_delay = 0;
   8         public static string opt_target_png = null;
   9         public static string opt_target_pdf = null;
  10         public static string[]? opt_inject_js = null;
  11         const OptionEntry[] options = {
  12
  13
  14                         { "url", 0, 0, OptionArg.STRING, ref opt_url, "Url to grab", null },
  15                         { "delay", 0, 0, OptionArg.INT, ref opt_delay, "Delay before snapshot in seconds", null },
  16                         //{ "png", 0, 0, OptionArg.STRING, ref opt_target_png, "File to write (PNG)", null },
  17                         { "inject", 0, 0, OptionArg.STRING_ARRAY, ref opt_inject_js, "Inject Javascript file(s)", null },
  18                         { "pdf", 0, 0, OptionArg.STRING, ref opt_target_pdf, "File to write (PDF)", null },
  19                         { null }
  20         };
  21     public static int main(string[] args) {
  22         Gtk.init(ref args);
  23
  24                 unowned string proxy = Environment.get_variable ("http_proxy");
  25                 if (proxy.length > 0) {
  26                         var sess = WebKit.get_default_session();
  27                         sess.proxy_uri = new Soup.URI(proxy);
  28                 }
  29
  30         var opt_context = new OptionContext ("webkitpdf");
  31
  32
  33                 try {
  34                         opt_context.set_help_enabled (true);
  35                         opt_context.add_main_entries (options, null);
  36                         opt_context.parse (ref args);
  37
  38             if (webkitpdf.opt_url == null) {
  39                 throw new OptionError.BAD_VALUE("missing url");
  40             }
  41                         //if (webkitpdf.opt_target_png == null) {
  42             //    throw new OptionError.BAD_VALUE("missing png"  file path);
  43             //}
  44             if (webkitpdf.opt_target_pdf == null) {
  45                 throw new OptionError.BAD_VALUE("missing pdf file path");
  46             }
  47
  48                 } catch (OptionError e) {
  49                         stdout.printf ("error: %s\n", e.message);
  50                         stdout.printf ("Run '%s --help' to see a full list of available command line options.\n %s",
  51                                          args[0], opt_context.get_help(true,null));
  52                         return 0;
  53                 }
  54
  55
  56         var browser = new BrowserWindow();
  57         browser.el.show_all();
  58
  59         Gtk.main();
  60
  61         return 0;
  62     }
  63 }
  64
  65
  66