USACO Language Selector

Automatically selects language to submit based on file extension

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey, Greasemonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Userscripts.

За да инсталирате скрипта, трябва да инсталирате разширение като Tampermonkey.

За да инсталирате този скрипт, трябва да имате инсталиран скриптов мениджър.

(Вече имам скриптов мениджър, искам да го инсталирам!)

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

(Вече имам инсталиран мениджър на стиловете, искам да го инсталирам!)

// ==UserScript==
// @name         USACO Language Selector
// @version      1.0
// @description  Automatically selects language to submit based on file extension
// @match        *usaco.org/index.php?page=viewproblem2&cpid=*
// @namespace https://greasyfork.org/users/731318
// ==/UserScript==

const fileExtensionToLanguage = {
    c: 0, //C
    cpp: 2, //C++11
    java: 3, //Java
    pas: 4, //Pascal
    py: 6, //Python 3.4.0
}

const languageSelector = document.getElementsByName("language")[0]
const fileSelector = document.getElementsByName("sourcefile")[0]

fileSelector.onchange = function () {
    const files = fileSelector.files
    if (files.length > 0) {
        const file = files[0]
        const name = file.name
        const extension = name.substr(name.lastIndexOf(".") + 1)
        if (extension.toLowerCase() in fileExtensionToLanguage) {
            languageSelector.selectedIndex = fileExtensionToLanguage[extension]
        }
    }
}