diff options
Diffstat (limited to 'tools/sync-rpi.conf')
| -rw-r--r-- | tools/sync-rpi.conf | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/tools/sync-rpi.conf b/tools/sync-rpi.conf deleted file mode 100644 index b2ac111..0000000 --- a/tools/sync-rpi.conf +++ /dev/null @@ -1,22 +0,0 @@ -[config] -## Define directories, where you store crosscompiled environment -rpi1=true -rpi2=true -#rpi3=true -rpi1_path=/usr/armv6j-hardlofat-linux-gnueabi -rpi2_path=/usr/armv7a-hardfloat-linux-gnueabi -#rpi3_path=/usr/aarch64-uknown-linux-gnu - -## Full URI to the git repository holding configuration files -repo=ssh://git@git.brancik.cz/rpi-config.git - -## path to directory in repository where configuration files are stored -repo_path=conf - -## Define values for devices -## Name the section after the device -[alcor-01] -## Define the type of RPi being used -type=rpi1 -[alcor-02] -[mizar] |