2.6 KiB
Sito Tutorato Matematica
Questo sito è realizzato in Astro e serve come supporto per il tutorato di matematica del corso di laurea in Matematica dell'Università di Pisa.
Per i Tutor
Accedere a Gitea
Collegati a Gitea e clicca sul tasto Sign in.
Nella finestra clicca su Sign in With Google, e successivamente scrivi il tuo
indirizzo email di ateneo (ad esempio, nome.cognome@studenti.unipi.it
), poi
procedi con l'usuale login per i servizi di Ateneo.
Editare file
Per potere modificare i file, è necessario chiedere ai Macchinisti di aggiornare i permessi del proprio account, passando in PHC o mandando una mail.
Entra nel repository e raggiungi la
cartella src/pages/archivio/[Anno corrente]
. Qui troverai il file relativo al
tuo tutorato (o se non esiste, chiedi ai macchinisti), ad esempio quello
relativo al corso di aritmetica è "aritmetica.md".
Cliccando sul file è possibile aprire l'editor di testo cliccando sulla matita in alto a destra (se tale icona non risulta cliccabile, contatta i macchinisti).
Scrivere in LaTeX
Il file del tutorato è in formato Markdown
(Guida alla sintassi Markdown),
ed è possibile scrivere in LaTeX tramite KaTeX, il quale supporta molti degli
usuali environments di LaTeX come, ad esempio $...$
o \(...\)
per ambiente
inline oppure $$...$$
o \[...\]
per display.
Per famigliarizzarti con scrivere LaTeX in Markdown, vedi la pagina di esempio e la lista dei simboli supportati da KaTeX.
Caricare files
È anche possibile includere link di files nella pagina, spostandosi nella
cartella public/materiale/
e poi cliccando sul menu a tendina "Add File". A
questo punto puoi aggiungere un link alla pagina come
Tutorato del [13 ottobre 2023](/materiale/TutoratoAnalisi13102023.pdf).
Nota: Il nome del file non deve contenere spazi o caratteri speciali, usa
_
o-
al posto degli spazi.
Editing da locale
È anche possibile editare i file da locale con il proprio editor clonando il repository tramite git e facendo push/pull degli aggiornamenti. Per interagire con Gitea in questo modo, la configurazione è analoga a quella di altri servizi come Github o Gitlab (in caso di problemi, contattare i macchinisti).
Preview in locale / Development
Per sviluppare in locale è necessario avere installato Bun o NodeJS
# con "bun"
bun install
bun dev
# o con "nodejs/npm"
npm install
npm run dev