<commit_before>
// Based on Extension Developer's install.js
// More info: http://www.xulplanet.com/tutorials/xultu/xpiscript.html

const APP_DISPLAY_NAME = "Greasemonkey";
const APP_PACKAGE = "/greasemonkey.mozdev.org/greasemonkey";
const APP_NAME = "/greasemonkey";
// TODO: figure out how to extract this from install.rdf
//   or generate install.rdf ...
const APP_VERSION = "0.6.4";

var instFlags = DELAYED_CHROME;

// So, some wierd thing causes extension manager in FF to sometimes fail when 
// trying to delete the temporary xpi file in the last step of installing gm.
// Unfortunately, the error handling sucks so it interprets any failure 
// whatsoever as a missing install.rdf and falls back on this file.
// If this file were to run on FF it would create strange really incorrect
// behavior and just generally be bad since it is the Seamonkey installer.
//
// So... this is a lame attempt at detecting whether we are on Firefox. If so,
// we do nothing. If not, we assume we're in Seamonkey and continue.
var ffExtFolder = getFolder("Profile", "extensions");
if (!File.exists(ffExtFolder)) {

  var chromef = getFolder("Profile", "chrome/greasemonkey/");

  initInstall(APP_NAME, APP_PACKAGE, APP_VERSION);

  var err = addDirectory(APP_PACKAGE, APP_VERSION, "chrome/greasemonkey", chromef, null);

  if(err >= SUCCESS) { 
          registerChrome(CONTENT | instFlags, getFolder( "Profile", "chrome/greasemonkey/content/" ));
          //registerChrome(LOCALE  | instFlags, ...);
          //registerChrome(SKIN  | instFlags, ...);
          err = performInstall();
          if(err >= SUCCESS) {
                  alert(APP_DISPLAY_NAME + " " + APP_VERSION + " has been succesfully installed.\n"<commit_msg>Bumping version number to 0.6.5 in install.js (do people still use seamonkey!?)<commit_after>
// Based on Extension Developer's install.js
// More info: http://www.xulplanet.com/tutorials/xultu/xpiscript.html

const APP_DISPLAY_NAME = "Greasemonkey";
const APP_PACKAGE = "/greasemonkey.mozdev.org/greasemonkey";
const APP_NAME = "/greasemonkey";
// TODO: figure out how to extract this from install.rdf
//   or generate install.rdf ...
const APP_VERSION = "0.6.5";

var instFlags = DELAYED_CHROME;

// So, some wierd thing causes extension manager in FF to sometimes fail when 
// trying to delete the temporary xpi file in the last step of installing gm.
// Unfortunately, the error handling sucks so it interprets any failure 
// whatsoever as a missing install.rdf and falls back on this file.
// If this file were to run on FF it would create strange really incorrect
// behavior and just generally be bad since it is the Seamonkey installer.
//
// So... this is a lame attempt at detecting whether we are on Firefox. If so,
// we do nothing. If not, we assume we're in Seamonkey and continue.
var ffExtFolder = getFolder("Profile", "extensions");
if (!File.exists(ffExtFolder)) {

  var chromef = getFolder("Profile", "chrome/greasemonkey/");

  initInstall(APP_NAME, APP_PACKAGE, APP_VERSION);

  var err = addDirectory(APP_PACKAGE, APP_VERSION, "chrome/greasemonkey", chromef, null);

  if(err >= SUCCESS) { 
          registerChrome(CONTENT | instFlags, getFolder( "Profile", "chrome/greasemonkey/content/" ));
          //registerChrome(LOCALE  | instFlags, ...);
          //registerChrome(SKIN  | instFlags, ...);
          err = performInstall();
          if(err >= SUCCESS) {
                  alert(APP_DISPLAY_NAME + " " + APP_VERSION + " has been succesfully installed.\n"
{'fraction_non_alphanumeric': 0.109624145785877, 'fraction_numerical': 0.002562642369020501, 'mean_word_length': 3.498079385403329, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6090503', 'n_tokens_mistral': 1100, 'n_tokens_neox': 1037, 'n_words': 366}