|
|
@ -140,7 +140,7 @@ public class FileUtils {
|
|
|
|
|
|
|
|
|
|
|
|
public static List<int[]> loadCommandHistory(File file) {
|
|
|
|
public static List<int[]> loadCommandHistory(File file) {
|
|
|
|
BufferedReader br = null;
|
|
|
|
BufferedReader br = null;
|
|
|
|
List<int[]> history = new ArrayList<int[]>();
|
|
|
|
List<int[]> history = new ArrayList<>();
|
|
|
|
try {
|
|
|
|
try {
|
|
|
|
br = new BufferedReader(new InputStreamReader(new FileInputStream(file)));
|
|
|
|
br = new BufferedReader(new InputStreamReader(new FileInputStream(file)));
|
|
|
|
String line;
|
|
|
|
String line;
|
|
|
@ -194,7 +194,7 @@ public class FileUtils {
|
|
|
|
|
|
|
|
|
|
|
|
public static List<String> loadCommandHistoryString(File file) {
|
|
|
|
public static List<String> loadCommandHistoryString(File file) {
|
|
|
|
BufferedReader br = null;
|
|
|
|
BufferedReader br = null;
|
|
|
|
List<String> history = new ArrayList<String>();
|
|
|
|
List<String> history = new ArrayList<>();
|
|
|
|
try {
|
|
|
|
try {
|
|
|
|
br = new BufferedReader(new InputStreamReader(new FileInputStream(file), "utf-8"));
|
|
|
|
br = new BufferedReader(new InputStreamReader(new FileInputStream(file), "utf-8"));
|
|
|
|
String line;
|
|
|
|
String line;
|
|
|
|