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

   1
   2 /*
   3  sudo valac   --vapidir=. --thread  webkitpdf.vala  BrowserWindow.vala  --vapidir=./vapi \
   4     --pkg glib-2.0 --pkg webkit-1.0 --pkg gtk+-2.0 -o /usr/bin/webkitpdf --target-glib=2.32
   5
   6 */
   7 public class webkitpdf {
   8
   9     public static string? opt_url = null;
  10         public static uint opt_delay = 0;
  11         public static int opt_width = 0;
  12         public static int opt_height = 0;
  13         public static string? opt_target_png = null;
  14         public static string? opt_target_pdf = null;
  15         [CCode (array_length = false, array_null_terminated = true)]
  16         public static string[] opt_inject_js;
  17         const OptionEntry[] options = {
  18
  19                         { "width", 0, 0, OptionArg.INT, ref opt_width, "Width (default 1200)", null },
  20                         { "height", 0, 0, OptionArg.INT, ref opt_height, "Height (PNG only) (default to expand to fit)", null },
  21                         { "url", 0, 0, OptionArg.STRING, ref opt_url, "Url to grab", null },
  22                         { "delay", 0, 0, OptionArg.INT, ref opt_delay, "Delay before snapshot in seconds", null },
  23                         { "png", 0, 0, OptionArg.STRING, ref opt_target_png, "File to write (PNG)", null },
  24                         { "inject", 0, 0, OptionArg.STRING_ARRAY, ref opt_inject_js, "Inject Javascript file(s)", null },
  25                         { "pdf", 0, 0, OptionArg.STRING, ref opt_target_pdf, "File to write (PDF)", null },
  26                         { null }
  27         };
  28     public static int main(string[] args)
  29     {
  30         Gtk.init(ref args);
  31
  32                 unowned string proxy = Environment.get_variable ("http_proxy");
  33                 if (proxy != null && proxy.length > 0) {
  34                         var sess = WebKit.get_default_session();
  35                         sess.proxy_uri = new Soup.URI(proxy);
  36                 }
  37
  38         var opt_context = new OptionContext ("webkitpdf");
  39
  40
  41                 try {
  42                         opt_context.set_help_enabled (true);
  43                         opt_context.add_main_entries (options, null);
  44                         opt_context.parse (ref args);
  45
  46             if (webkitpdf.opt_url == null) {
  47                 throw new OptionError.BAD_VALUE("missing url");
  48             }
  49                         if (webkitpdf.opt_target_png == null && webkitpdf.opt_target_pdf == null) {
  50                 throw new OptionError.BAD_VALUE("missing pdf or png filename");
  51             }
  52
  53
  54                 } catch (OptionError e) {
  55                         stdout.printf ("error: %s\n", e.message);
  56                         stdout.printf ("Run '%s --help' to see a full list of available command line options.\n %s",
  57                                          args[0], opt_context.get_help(true,null));
  58                         return 0;
  59                 }
  60
  61         var browser = new BrowserWindow();
  62         browser.el.show_all();
  63  /*
  64                 var ses = WebKit.get_default_session();
  65                 ses.request_queued.connect((msg) => {
  66                         print("queued request %s\n", msg.uri.to_string(false));
  67                         msg.got_headers.connect(() => {
  68                                 print("got conent type %s\n", msg.response_headers.get_content_type (null));
  69                                 if (msg.response_headers.get_content_type (null) == "image/jpeg") {
  70                                         ses.cancel_message(msg,Soup.KnownStatusCode.CANCELLED);
  71                                 }
  72                         });
  73                 });
  74  */
  75
  76         Gtk.main();
  77
  78         return 0;
  79     }
  80 }
  81
  82
  83
  84