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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
>>> .ssh/config
Host oldhost
Hostname 127.0.0.1
Port 10022
User awwanssh
IdentityFile ~/.ssh/id_ed25519
>>> play_on_oldhost
{
"mode": "play",
"script": "/oldhost/play.aww",
"line_range": "1-"
}
<<< play_on_oldhost:output:json
{
"data": {
"mode": "play",
"script": "/oldhost/play.aww",
"line_range": "1-",
"id": "play:/oldhost/play.aww:1-:1701012060",
"begin_at": "2023-11-26T15:21:00Z",
"end_at": "",
"error": "",
"output": [
{
"Type": "begin",
"Data": "2023-11-26T15:21:00Z",
"ID": "1"
}
]
},
"code": 200
}
>>> .ssh/config:newhost
Host oldhost
Hostname 127.0.0.1
Port 10022
User awwanssh
IdentityFile ~/.ssh/id_ed25519
Host newhost
Hostname 127.0.0.1
Port 10022
User awwanssh
IdentityFile ~/.ssh/id_ed25519
>>> play_on_newhost
{
"mode": "play",
"script": "/newhost/play.aww",
"line_range": "1-"
}
<<< play_on_newhost:output:json
{
"data": {
"mode": "play",
"script": "/newhost/play.aww",
"line_range": "1-",
"id": "play:/newhost/play.aww:1-:1701012060",
"begin_at": "2023-11-26T15:21:00Z",
"end_at": "",
"error": "",
"output": [
{
"Type": "begin",
"Data": "2023-11-26T15:21:00Z",
"ID": "1"
}
]
},
"code": 200
}
|
