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.

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, usare _ 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