claude-bot
9db70d0bea
기존 copyMinecraftUserSettings 는 .mc_custom 에 같은 이름의 파일이 있으면 무조건 보존했기 때문에, 사용자가 .minecraft 에서 새로 바꾼 키설정·옵션이 .mc_custom 으로 이어지지 못했다. options.txt / optionsof.txt / optionsshaders.txt 는 사용자가 원래 쓰던 설정을 그대로 가져오기 위한 파일이므로 매번 .minecraft 쪽으로 덮어써서 동기화하고, servers.dat 같은 그 외 파일은 종전대로 보존한다.