diff options
author | Ctibor Brančík <ctibor@brancik.cz> | 2017-06-18 17:21:11 +0200 |
---|---|---|
committer | Ctibor Brančík <ctibor@brancik.cz> | 2017-06-18 17:21:11 +0200 |
commit | ffb59a852274db5a9686671239ca0b51bd9f8796 (patch) | |
tree | ff54ac1739d8bba0202ec24c103d94a77b75d46d /tools/sync-rpi.conf | |
parent | 0996f26be8d1f23676804c14d6ce374432489e24 (diff) | |
download | rpi-config-ffb59a852274db5a9686671239ca0b51bd9f8796.tar.gz rpi-config-ffb59a852274db5a9686671239ca0b51bd9f8796.tar.bz2 |
Replace python scripts with simple bash solution
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] |