void (Map<String, String> envs, List<String> arguments, List<String> result, String rcFilePath, String rcfileOption) { result.add(rcfileOption); result.add(rcFilePath); int idx = arguments.indexOf(rcfileOption); if (idx >= 0) { arguments.remove(idx); if (idx < arguments.size()) { envs.put(JEDITERM_USER_RCFILE, FileUtil.expandUserHome(arguments.get(idx))); arguments.remove(idx); } } }