blob: f11ce6519cfab001842d2aac122992380853ebcd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
export interface User {
username: string;
}
export const DefaultUser: User = {
username: "",
};
export interface HomeInfo {
historyCount: number;
recordCount: number;
lastSyncTime: Date;
}
export const DefaultHomeInfo: HomeInfo = {
historyCount: 0,
recordCount: 0,
lastSyncTime: new Date(),
};
export interface ShellHistory {
id: string;
timestamp: number;
command: string;
user: string;
host: string;
cwd: string;
duration: number;
}
export interface Alias {
name: string;
value: string;
}
|