Advertisement
Guest User

Untitled

a guest
Sep 13th, 2017
115
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.17 KB | None | 0 0
  1. var file = File.new_for_path ("./plop.txt");
  2. var file_info = file.query_info ("*", FileQueryInfoFlags.NONE);
  3. stdout.printf ("Content type: %s\n", file_info.get_content_type ());
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement