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                 var sess = WebKit.get_default_session();
  25                 sess.proxy_uri = new Soup.URI("http://192.168.252.12:3128");
  26
  27         var opt_context = new OptionContext ("webkitpdf");
  28
  29
  30                 try {
  31                         opt_context.set_help_enabled (true);
  32                         opt_context.add_main_entries (options, null);
  33                         opt_context.parse (ref args);
  34
  35             if (webkitpdf.opt_url == null) {
  36                 throw new OptionError.BAD_VALUE("missing url");
  37             }
  38                         //if (webkitpdf.opt_target_png == null) {
  39             //    throw new OptionError.BAD_VALUE("missing png"  file path);
  40             //}
  41             if (webkitpdf.opt_target_pdf == null) {
  42                 throw new OptionError.BAD_VALUE("missing pdf file path");
  43             }
  44
  45                 } catch (OptionError e) {
  46                         stdout.printf ("error: %s\n", e.message);
  47                         stdout.printf ("Run '%s --help' to see a full list of available command line options.\n %s",
  48                                          args[0], opt_context.get_help(true,null));
  49                         return 0;
  50                 }
  51
  52
  53         var browser = new BrowserWindow();
  54         browser.el.show_all();
  55
  56         Gtk.main();
  57
  58         return 0;
  59     }
  60 }
  61
  62
  63