JenkinsからGradle Pluginを使ってビルドをしようとしたのですが、Gradleに対しJAVA_OPTなどGradle起動時の環境変数を設定することができないっぽい(あるのかもしれませんが見つけられず)。よって、proxyを指定できず。困った。Mavenのsetting.xmlみたいなも…

突然テープ起こし(文字起こし)をすることになりまして。聞いたものを書き留めていけばいいってことでEmacsとiTunes程度で大丈夫かなと思ってたのですが、iTunesは少し巻き戻し/早送りとかがないとつらい。ほんとうにつらい。出来ればショートカットでそれを…