diff --git a/aaa.vai b/aaa.vai deleted file mode 100644 index 953f6b6abc78230fd32686c1c75ece543a2cd52c..0000000000000000000000000000000000000000 Binary files a/aaa.vai and /dev/null differ diff --git a/clean.sh b/clean.sh deleted file mode 100644 index c2bab80f4949ba24f10e60354fd8234afa688cfc..0000000000000000000000000000000000000000 --- a/clean.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh - -git clean -d -f -x - diff --git a/dist_massive.sh b/dist_massive.sh deleted file mode 100755 index 0df382e8f7b63fc64002e82e16e8d86e1a020f96..0000000000000000000000000000000000000000 --- a/dist_massive.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash -# Copyright (c) 2021, Alex Leigh. All Rights Reserved. -# -# Build the public archives for the astronomy project and publish them to the Massive distribution point. - -# This is very sensitive to order! -#for PKG in leigh-astro leigh-mecha-exec leigh-mecha leigh-eo leigh-gnusto leigh-radio leigh-esp-sdk leigh-eo-schema leigh-esp-sdk leigh-eo-json dumptruckman-busscript onarandombox-multiverse-core mineacademy-foundation -for PKG in dumptruckman-busscript onarandombox-multiverse-core mineacademy-foundation - -do - echo Processing $PKG... - (cd $PKG;gradle clean publish -x test --parallel --refresh-dependencies) - rsync -r --progress $PKG/build/repos/* massive.leigh-co.com:/var/www/html & -done -wait diff --git a/graph.eo b/graph.eo deleted file mode 100644 index 57caf5601c79f4f3dfa73f9133b9bc08545d7f67..0000000000000000000000000000000000000000 Binary files a/graph.eo and /dev/null differ diff --git a/remove_sub.sh b/remove_sub.sh deleted file mode 100755 index f09dd15b97c1a19031eb3493f5cf444552ee002d..0000000000000000000000000000000000000000 --- a/remove_sub.sh +++ /dev/null @@ -1,65 +0,0 @@ -#!/bin/bash - -function actual_path() { - if [ [ -z "$1" ] -a [ -d $1 ] ]; then - echo $(cd $1 && test `pwd` = `pwd -P`) - return 0 - else - return 1 - fi -} - -function is_submodule() { - local top_level parent_git module_name - - if [ -d "$1" ]; then - cd $1 - else - return 1 - fi - - # Find the root of this git repo, then check if its parent dir is also a repo - top_level="$(git rev-parse --show-toplevel)" - if [ ! actual_path $toplevel ]; then - top_level="$(cd $top_level && pwd -P)" - fi - - module_name="$(basename "$top_level")" - parent_git="$(cd "$top_level/.." && git rev-parse --show-toplevel 2> /dev/null)" - - if [[ -n $parent_git ]]; then - return 0 - else - return 1 - fi -} - -function is_gitroot() { - if [ "$(pwd -P)" = "$(git rev-parse --show-toplevel)" ]; then - return 0 - else - return 1 - fi -} - -# first check if it's a valid path -if [ ! -d "$1" ]; then - echo "Usage: git submodule rm " - exit -fi - -# then check whether we're at git root -if is_gitroot; then - # finally check whether the given path is a submodule - if $(is_submodule "${1}"); then - echo "let's remove those submodules" - # using ${1%/} to remove trailing slashes - git config -f .gitmodules --remove-section submodule.${1%/} - git config -f .git/config --remove-section submodule.${1%/} - git rm --cached ${1%/} - else - echo "git submodule rm is not recursive yet, aborting." - fi -else - echo "You need to run this command from the toplevel of the working tree." -fi