60秒毎にpingする。更にsshしてたら/tmpにファイルを作る。
# ~/.ssh/config
ServerAliveInterval 60
ControlMaster auto
ControlPath /tmp/%r@%h:%p
/docs | |
/target | |
/lib | |
/classes | |
/checkouts | |
pom.xml | |
*.jar | |
*.class | |
.lein-deps-sum | |
.lein-failures |
#!/bin/sh | |
# Converts return character to '\n' and removes trailing spaces/lines. | |
if [ $# -ne 1 ] | |
then | |
echo $0 '<directory>' | |
exit 1 | |
fi | |
DIRECTORY=$1 |
target/ |
import java.nio.channels.SocketChannel; | |
public class ChangeRequest { | |
public static final int REGISTER = 1; | |
public static final int CHANGEOPS = 2; | |
public SocketChannel socket; | |
public int type; | |
public int ops; |
# Makefile ( 1 source file 1 execute file version ) | |
# 2002/12/ 4 | |
# 日本語のコメント部分に従って修正して下さい。 | |
# $(HOGEHOGE) というのはマクロ(一種の変数)で、 | |
# HOGEHOGE=... で定義された内容に展開して解釈されます。 | |
# 行頭のタブには意味がありますので、スペースに変換しないで下さい。 | |
# できれば、最終的に日本語コメントは削除して下さい。 | |
# ↓パッケージ名かつ実行ファイル名に書き換える |
*.class | |
data/ | |
out |
import java.io.*; | |
import java.net.*; | |
public class Client { | |
public static void main(String[] args) throws Exception { | |
Socket socket = new Socket("127.0.0.1", 8080); | |
PrintWriter out = new PrintWriter(socket.getOutputStream(), true); | |
BufferedReader in = new BufferedReader(new InputStreamReader(socket.getInputStream())); | |
out.println("abcdefg"); | |
in.readLine(); |
RM=rm -f | |
JAVAC=javac | |
JAVAC_FLAGS=-g | |
JAVA=java | |
JAVA_FLAGS=-ea | |
JPF=~/jpf/jpf-core/bin/jpf |