| 1234567891011 |
- #!/bin/bash
- sed 's#"t":"RawInline","c":\["html","<Llap>"\]#"t":"Str","c":"« "#g' | \
- sed 's#"t":"RawInline","c":\["html","<piece>"\]#"t":"Str","c":"(Prod. n° XX-"#g' | \
- sed 's#"t":"RawInline","c":\["html","<\/piece>"\]#"t":"Str","c":")"#g'
-
|
