三年半の格闘の末に僕が見たもの、あるいは試行錯誤の覚書、すなわち二番煎じ。
PowerShell 3.0以上のバージョンを使用すること。2.0以下のバージョンは、書き捨ては仕方ないとしても、保守対象のスクリプトを書くべきではないし、あらゆる言及に値しない。全力でバージョンアップをしろ。
/** | |
* @author sjalipar | |
*/ | |
object myMain { | |
def main(args: Array[String]): Unit = { | |
println("test - start") | |
import scala.concurrent.Future | |
import scala.util.Success | |
import scala.util.Failure |
#!/bin/bash | |
# PLUGINS=で始まってる行をコメントアウトしたり追加したりして、 | |
# 好きなプラグインをインストールできるよ。 | |
# まぁ、普通は、JenkinsのWeb UIから「プラグインの管理」でインストールすればいいと思う。 | |
# 同じ環境を何個も作りたい場合はこのスクリプトをどうぞ。 | |
PLUGINS=() | |
# Jenkin Build Pipeline Plugin |
[ | |
{ "keys": ["f12"], "command": "htmlprettify"}, | |
{ "keys": ["f1"], "command": "fold" }, | |
{ "keys": ["f2"], "command": "unfold" }, | |
{ "keys": ["ctrl+à"], "command": "show_overlay", "args": {"overlay": "goto", "text": "@"} }, | |
{ "keys": ["ctrl+!"], "command": "show_overlay", "args": {"overlay": "goto", "text": ":"} }, | |
{ "keys": ["ctrl+space"], "command": "auto_complete" }, | |
{ "keys": ["ctrl+space"], "command": "replace_completion_with_auto_complete", "context": | |
[ | |
{ "key": "last_command", "operator": "equal", "operand": "insert_best_completion" }, |