# # NetHack 3.2.2 のスコアファイルの # 特定の uid の、ユーザー名を置換するスクリプト # # uid とユーザー名は BEGIN の中の物を書き換えてね。 # BEGIN { check = 0; check_uid[0] = 127; replace_nam[0] = "G-HAL"; replace_uid[0] = 127; check_uid[1] = 42; replace_nam[1] = "G-HAL"; replace_uid[1] = 127; check_uid[2] = 10025; replace_nam[2] = "G-HAL"; replace_uid[2] = 127; check_uid[3] = 9001; replace_nam[3] = "G-HAL"; replace_uid[3] = 127; check_uid[4] = 100; replace_nam[4] = "lannet"; replace_uid[4] = 100; check_uid[5] = 149; replace_nam[5] = "壱丸零弐"; replace_uid[5] = 149; check_uid[6] = 0; } function comma(p) { tmp_len = jlength(p); for(tmp_i=0; tmp_i