gifnksm

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) {

gifnksm

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;

gifnksm

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);

gifnksm

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"

gifnksm

(function() {
  if (!('nicovideo_getFlv' in window)) {
    const Getter = function(videoID) {
      this._videoID = videoID;
      this._callbacks = [];
    };

    Getter.prototype = {
      _videoID: null,
      _lock: false,

gifnksm

Data = {
  count: Integer, // タグの個数
  first: Date,    // タグ情報を最初に取得した日時
  last:  Date,    // タグ情報を最後に取得した日時
  tags: [Tag]     // タグ情報の配列
};

Tag = {
  id:    Integer, // タグのID
  name:  String,  // タグ名

gifnksm

(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 || '';

gifnksm

(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 = [];

gifnksm

// ==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

gifnksm

subdirs=c d java haskell rust

.PHONY: all clean $(subdirs)

all: $(subdirs)
clean: $(subdirs)

$(subdirs):
	make -C $@ $(MAKECMDGOALS)