Merge branch 'main' into main

Merge pull request 'Add parseunimap script.' (#3 ) from alberto/dm-scripts:main into main
Reviewed-on: phc/dm-scripts#3
2 changed files with 4 additions and 4 deletions
--- a/6
+++ b/6
@ -40,11 +40,11 @@ Opzioni disponibili:
 Ad esempio:
-  $(basename "$0") ~/GAAL.pdf
+  $(basename "$0") -u n.cognome ~/GAAL.pdf
-  $(basename "$0") alg2.pdf commRingTheory.pdf
+  $(basename "$0") -u n.cognome alg2.pdf commRingTheory.pdf
-  $(basename "$0") --cli '-o sides=two-sided-short-edge' MR-impaginato.pdf
+  $(basename "$0") -u n.cognome --cli '-o sides=two-sided-short-edge' MR-impaginato.pdf
 N.B.: L'opzione --cli usa le opzioni necessarie per poter stampare un file
 creato con lo script "impagina", per rilegare le dispense a libretto in A5.
--- a/2
+++ b/2
@ -23,7 +23,7 @@ chmod +x $APP
 mv squashfs-root $HOME/$NAME
 # Create symbolic link to AppRun
-ln -sf $(realpath $HOME/$NAME/AppRun) $LOCAL_BIN_DIR/$NAME
+ln -sf "$(realpath $HOME/$NAME/AppRun)" $LOCAL_BIN_DIR/$NAME
 # Install desktop entry
 desktop-file-install --dir="$DESKTOP_DIR" $HOME/$NAME/$NAME.desktop
Author	SHA1	Message	Date
alberto	f24b3d7f8a	Merge branch 'main' into main	4 weeks ago
Francesco Minnocci	4fa77291b6	Merge pull request 'Add parseunimap script.' (#3 ) from alberto/dm-scripts:main into main Reviewed-on: phc/dm-scripts#3	11 months ago
Francesco Minnocci	6fefa2d561	Merge branch 'main' of git.phc.dm.unipi.it:phc/dm-scripts	1 year ago
Francesco Minnocci	2a06044973	steam: Fix App name indefinitely	2 years ago