This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| var Combinator = function(fun) { | |
| if (typeof fun === 'function') | |
| this.parse = fun; | |
| }; | |
| Combinator.define = function(fun) { | |
| var c = new this(); | |
| fun.call(c); | |
| return c; | |
| }; | |
| Combinator._rjoin = function(fun) { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| default xml namespace = "http://www.w3.org/1999/xhtml"; | |
| (function() { | |
| var parser = new DOMParser(), | |
| range = document.createRange(); | |
| function toDOM(xmlns) { | |
| var pretty = XML.prettyPrinting; | |
| // disable prettyPringing temporary to avoid extra space inclusion | |
| XML.prettyPrinting = false; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function nicovideo_createPanel(id, labelText) { | |
| let panelID = 'itab_' + id; | |
| let label = document.createElement('a'); | |
| label.href = '#' + panelID; | |
| label.innerHTML = '<div>' + labelText + '</div>'; | |
| // remove extra <a>...</a> | |
| label.firstChild.textContent = labelText; | |
| document.querySelector('#itab td').appendChild(label); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function ssh-start() { | |
| ssh-agent -s > "${HOME}/.ssh/agent-env" | |
| . "${HOME}/.ssh/agent-env" | |
| ssh-add | |
| } | |
| if [ -e "${HOME}/.ssh/agent-env" ]; then | |
| isAliveAgent=`ps -ef | grep "/ssh-agent" | grep -v grep | wc -l` | |
| if [ $isAliveAgent = 1 ]; then | |
| echo "ssh-agent is alive" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (function() { | |
| if (!('nicovideo_getFlv' in window)) { | |
| const Getter = function(videoID) { | |
| this._videoID = videoID; | |
| this._callbacks = []; | |
| }; | |
| Getter.prototype = { | |
| _videoID: null, | |
| _lock: false, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Data = { | |
| count: Integer, // タグの個数 | |
| first: Date, // タグ情報を最初に取得した日時 | |
| last: Date, // タグ情報を最後に取得した日時 | |
| tags: [Tag] // タグ情報の配列 | |
| }; | |
| Tag = { | |
| id: Integer, // タグのID | |
| name: String, // タグ名 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (function() { | |
| const NAMESPACE = 'mfp.xrea.jp'; | |
| if (!(NAMESPACE in window)) | |
| window[NAMESPACE] = {}; | |
| if (window[NAMESPACE].DataGrid !== undefined) | |
| return; | |
| const DataGrid = function(property, namePrefix) { | |
| this._property = new DataGrid.Property(property); | |
| this._namePrefix = namePrefix || ''; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (function() { | |
| const NAMESPACE = 'mfp.xrea.jp'; | |
| if (!(NAMESPACE in window)) | |
| window[NAMESPACE] = {}; | |
| if (window[NAMESPACE].Pager !== undefined) | |
| return; | |
| const Pager = function(namePrefix) { | |
| this._namePrefix = namePrefix; | |
| this._callbacks = []; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Titech Portal Auto Login | |
| // @namespace http://www.titech.ac.jp/ | |
| // @id titech-portal-auto-login@www.titech.ac.jp | |
| // @description 東工大ポータルに自動的にログインします | |
| // @author NAKASHIMA, Makoto <makoto.nksm@gmail.com> | |
| // @include https://portal1.nap.gsic.titech.ac.jp/* | |
| // @include https://portal.nap.gsic.titech.ac.jp/* | |
| // @include http://portal.titech.ac.jp/* | |
| // @jsversion 1.8 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| subdirs=c d java haskell rust | |
| .PHONY: all clean $(subdirs) | |
| all: $(subdirs) | |
| clean: $(subdirs) | |
| $(subdirs): | |
| make -C $@ $(MAKECMDGOALS) |