00:33
Florian[m] has quit []
01:29
co1umbarius has joined #wayland
01:31
columbarius has quit [Ping timeout: 480 seconds]
01:48
danvet has quit [Ping timeout: 480 seconds]
02:20
Emantor has joined #wayland
02:45 ___nick___ has quit []
02:47 ___nick___ has joined #wayland
02:50 ___nick___ has quit []
02:51 ___nick___ has joined #wayland
04:34
<
DemiMarie >
Should wayland-scanner be able to import other protocol definition files? That would allow much more extensive static analysis.
04:36
<
i509VCB >
That raises the question of describing what other protocol files should be imported
04:36
<
i509VCB >
Could easily form a graph of protocol dependencies if you aren't careful
04:56
Company has quit [Quit: Leaving]
04:58
<
DemiMarie >
That was my goal 🙂
05:50
<
tleydxdy >
soon enough we'd have "wayland-scanner is turing complete"
05:51
nerdopolis has quit [Ping timeout: 480 seconds]
07:09
rv1sr has joined #wayland
07:19
dcz_ has joined #wayland
08:21
hardening has joined #wayland
08:28
Leopold_ has joined #wayland
08:29
Leopold_ has quit [Remote host closed the connection]
08:29
Leopold_ has joined #wayland
09:25
kts has joined #wayland
09:38
danvet has joined #wayland
10:20
cool110 has quit [Ping timeout: 480 seconds]
10:31
kts has quit [Quit: Leaving]
10:35
cool110 has joined #wayland
11:08
kts has joined #wayland
11:18
repetitivestrain has quit [Read error: Connection reset by peer]
11:40
<
daniels >
it can be a separate tool to the current scanner, or a rewrite of the existing one with more functionality, or
11:40
<
daniels >
why not give it a go and make a prototype?
11:40
<
daniels >
definitely a lot of things you could check and validate
11:56
wlb has quit [Quit: Leaving.]
11:59
fmuellner_ has joined #wayland
12:00
<
emersion >
i can't read that message, i get a JSON error with "Server is unavailable"
12:02
<
vyivel >
emersion: make sure your client doesn't add ">" at the end of the url
12:02
<
emersion >
it doesn't
12:02
<
emersion >
ah, seems like it's working now
12:03
bodiccea has quit [Remote host closed the connection]
12:04
<
vyivel >
matrix ¯\_(ツ)_/¯
12:04
bodiccea has joined #wayland
12:04
<
emersion >
story of my life
12:17
Leopold_ has quit [Remote host closed the connection]
12:18
Leopold_ has joined #wayland
12:21
Leopold_ has quit [Remote host closed the connection]
12:24
Leopold_ has joined #wayland
12:26
Leopold_ has quit [Remote host closed the connection]
12:29
Leopold_ has joined #wayland
12:31
nerdopolis has joined #wayland
12:33
jmdaemon has quit [Ping timeout: 480 seconds]
12:35
bluepqnuin has quit []
12:47
fmuellner_ has quit [Ping timeout: 480 seconds]
12:58
AJ_Z0 has quit [Read error: Connection reset by peer]
12:58
AJ_Z0 has joined #wayland
13:02
Leopold_ has quit [Remote host closed the connection]
13:15
Leopold_ has joined #wayland
13:44
smallville7123 has joined #wayland
13:48
smallville7123 has quit []
13:50
smallville7123 has joined #wayland
14:00
kts has quit [Quit: Leaving]
14:21
rv1sr has quit [Ping timeout: 480 seconds]
14:26
Company has joined #wayland
14:29
bodiccea has quit [Remote host closed the connection]
14:29
bodiccea has joined #wayland
14:32
smallville7123 has quit [Ping timeout: 480 seconds]
14:32
bodiccea has quit [Read error: Connection reset by peer]
14:33
bodiccea has joined #wayland
15:43
rv1sr has joined #wayland
15:59
kts has joined #wayland
16:23
rv1sr has joined #wayland
16:30
zebrag has joined #wayland
16:42
Leopold_ has quit [Remote host closed the connection]
16:43
Leopold_ has joined #wayland
17:24
tagr has quit [Remote host closed the connection]
17:47
tagr has joined #wayland
18:03
Leopold_ has quit [Remote host closed the connection]
18:13
Leopold_ has joined #wayland
18:25
rasterman has joined #wayland
18:31
nerdopolis has quit [Read error: Connection reset by peer]
18:32
nerdopolis has joined #wayland
19:37
floof58 is now known as Guest1309
19:37
floof58 has joined #wayland
19:42
Guest1309 has quit [Ping timeout: 480 seconds]
19:45
fmuellner has joined #wayland
19:54
kts has quit [Quit: Leaving]
20:25 ___nick___ has quit [Ping timeout: 480 seconds]
21:06
MatrixTravelerbot[m]1 has quit []
21:11 ___nick___ has joined #wayland
21:38
Leopold_ has quit [Remote host closed the connection]
21:40
Leopold_ has joined #wayland
21:49
jmdaemon has joined #wayland
21:53
rasterman has quit [Quit: Gettin' stinky!]
21:57
tagr has quit [Remote host closed the connection]
21:58
tagr has joined #wayland
22:30
Moprius has joined #wayland
22:33
tagr has quit [Remote host closed the connection]
22:36
tagr has joined #wayland
22:40
tagr has quit [Remote host closed the connection]
22:47
Moprius has quit [Read error: Connection reset by peer]
23:02
dcz_ has quit [Ping timeout: 480 seconds]
23:12
hardening has quit [Ping timeout: 480 seconds]
23:15
nerdopolis_ has joined #wayland
23:17
nerdopolis has quit [Read error: Connection reset by peer]
23:47
rodrgz has joined #wayland