2022-07-31 12:06:52 +02:00
|
|
|
#!/usr/bin/env bash
|
2022-02-14 22:26:48 +01:00
|
|
|
|
|
|
|
|
# Copy this file as variables.conf, with the correct values
|
|
|
|
|
|
2022-04-18 11:54:06 +02:00
|
|
|
# For both update and clear scripts:
|
|
|
|
|
repo_name=""
|
|
|
|
|
|
|
|
|
|
# For update script:
|
2022-02-14 22:26:48 +01:00
|
|
|
remote_repository=""
|
|
|
|
|
ssh_key=""
|
2022-04-18 11:54:06 +02:00
|
|
|
ssh_options="-i $ssh_key"
|
2022-02-14 22:26:48 +01:00
|
|
|
exlist=""
|
2022-04-18 11:54:06 +02:00
|
|
|
|
|
|
|
|
# For clear script:
|
|
|
|
|
repo_directory=""
|
