Skip to content

GitLab

Liebe Gitlab-Nutzerin, lieber Gitlab-Nutzer,
es ist nun möglich sich mittels des ZIH-Logins/LDAP an unserem Dienst anzumelden. Die Konten der externen Nutzer:innen sind über den Reiter "Standard" erreichbar.
Die Administratoren


Dear Gitlab user,
it is now possible to log in to our service using the ZIH login/LDAP. The accounts of external users can be accessed via the "Standard" tab.
The administrators

Commit 230ba51d authored by Harry Fuchs's avatar Harry Fuchs
Browse files

turn on numbering of sections

parent 961e9acd
Pipeline #3627 passed with stage
in 11 minutes and 4 seconds
Hide whitespace changes
Inline Side-by-side
Showing with 9 additions and 0 deletions
diffgeoIII/interactive-compile.sh
View file @ 230ba51d
...@@ -3,6 +3,14 @@ inotifywait -e close_write,moved_to,create -m . | ...@@ -3,6 +3,14 @@ inotifywait -e close_write,moved_to,create -m . |
while read -r directory events filename; do while read -r directory events filename; do
if [ "$filename" = "edit-this-file.tex" ]; then if [ "$filename" = "edit-this-file.tex" ]; then
./compile.sh ./compile.sh
exitcode=$?
if [[ $exitcode == 0 ]]
then
echo "YYYYYYYYYYYYYYYYYYYYY"
else
echo "NNNNNNNNNNNNNNNNNNNNN"
fi
echo "wait for next change..." echo "wait for next change..."
fi fi
done done
diffgeoIII/meta.yaml
View file @ 230ba51d
...@@ -9,4 +9,5 @@ papersize: a4 ...@@ -9,4 +9,5 @@ papersize: a4
toc: yes toc: yes
graphics: yes graphics: yes
tikz: yes tikz: yes
numbersections: yes
... ...
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment