2022-08-08 16:23:30 +02:00
|
|
|
#!/usr/bin/env bash
|
2024-03-18 22:37:42 +01:00
|
|
|
function replace-listings() {
|
2022-08-08 16:23:30 +02:00
|
|
|
sed -i -e 's/end{lstlisting}/end{sexylisting}/g' $1
|
2024-03-18 22:37:42 +01:00
|
|
|
for fn in $(grep 'begin{lstlisting}' $1); do
|
2022-08-08 16:23:30 +02:00
|
|
|
caption=$(grep -m 1 -B 1 -P 'begin{lstlisting}' $1 |
|
2024-03-18 22:37:42 +01:00
|
|
|
grep -oP 'caption={\K[^\}]+')
|
2022-08-08 16:23:30 +02:00
|
|
|
sed -i "0,/begin{lstlisting}/ s/{lstlisting}/{sexylisting}{$caption}/" $1
|
|
|
|
done
|
|
|
|
}
|
|
|
|
replace-listings $1
|
|
|
|
exit 0
|