Commands to run to start geoserver
open a command prompt in the repository folder
set GEOSERVER_HOME=[path to current repo]\geoserver
set GEOSERVER_DATA_DIR=[path to current repo]\geoserver\data_dir
geoserver\bin\startup
example: set GEOSERVER_HOME=C:\Users\gianm\OneDrive - Politecnico di Milano\Desktop\PoliMi\Magistrale\II Anno\Primo Semestre\Geographic Information System\Lab\GIS-Lab\geoserver