You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
48 lines
1.5 KiB
Plaintext
48 lines
1.5 KiB
Plaintext
9 months ago
|
#!/bin/bash
|
||
|
|
|
||
|
|
if [ $# -ne 2 ]; then
|
||
|
|
echo "Usage: $0 input.tex output.md"
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
input_file="$1"
|
||
|
|
output_file="$2"
|
||
|
|
|
||
|
|
# Funzione per convertire le sezioni
|
||
|
|
convert_section() {
|
||
|
|
local level=$1
|
||
|
|
local name=$2
|
||
|
|
echo -e "$(printf '#%.0s' $(seq 1 $level)) $name\n" >> "$output_file"
|
||
|
|
}
|
||
|
|
|
||
|
|
# Funzione per convertire definizioni, teoremi e proposizioni
|
||
|
|
convert_definition_or_theorem_or_proposition() {
|
||
|
|
local type=$1
|
||
|
|
local name=$2
|
||
|
|
if [[ $type == "teorema" || $type == "proposizione" ]]; then
|
||
|
|
echo "* [ ] [**$type**] $name" >> "$output_file"
|
||
|
|
else
|
||
|
|
echo "* [ ] [$type] $name" >> "$output_file"
|
||
|
|
fi
|
||
|
|
}
|
||
|
|
|
||
|
|
# Inizializza il file di output
|
||
|
|
> "$output_file"
|
||
|
|
|
||
|
|
# Leggi il file .tex e converti le sezioni, definizioni, teoremi e proposizioni
|
||
|
|
while IFS= read -r line; do
|
||
|
|
if [[ $line =~ \\section\{(.+)} ]]; then
|
||
|
|
convert_section 1 "${BASH_REMATCH[1]}"
|
||
|
|
elif [[ $line =~ \\subsection\{(.+)} ]]; then
|
||
|
|
convert_section 2 "${BASH_REMATCH[1]}"
|
||
|
|
elif [[ $line =~ \\subsubsection\{(.+)} ]]; then
|
||
|
|
convert_section 3 "${BASH_REMATCH[1]}"
|
||
|
|
elif [[ $line =~ \\begin\{definition\}\[(.+)\] ]]; then
|
||
|
|
convert_definition_or_theorem_or_proposition "definizione" "${BASH_REMATCH[1]}"
|
||
|
|
elif [[ $line =~ \\begin\{theorem\}\[(.+)\](\{.+})? ]]; then
|
||
|
|
convert_definition_or_theorem_or_proposition "teorema" "${BASH_REMATCH[1]}"
|
||
|
|
elif [[ $line =~ \\begin\{proposition\}\[(.+)\] ]]; then
|
||
|
|
convert_definition_or_theorem_or_proposition "proposizione" "${BASH_REMATCH[1]}"
|
||
|
|
fi
|
||
|
|
done < "$input_file"
|