10 lines
356 B
Bash
Executable file
10 lines
356 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
echo addr=dot | 9p write acme/$winid/ctl
|
|
data=$(9p read acme/$winid/xdata)
|
|
|
|
indentation=$(echo "$data" | sed 1q | sed -E 's/^( *).*$/\1/')
|
|
html=$(echo "$data" | sed "s/^$indentation//" | pug --pretty | sed '/^$/d' | s2t 2 | sed "s/^/$indentation/")
|
|
|
|
echo addr=dot | 9p write acme/$winid/ctl
|
|
echo -n "$html" | 9p write acme/$winid/data
|