From f39b627ad95e4cc318bd333ac177cfad59114fe2 Mon Sep 17 00:00:00 2001 From: Afonso Jorge Ramos Date: Sat, 21 May 2022 18:09:42 +0100 Subject: [PATCH] chore: remove theme evaluation scripts --- .github/scripts/theme-uniqueness.sh | 40 ------------------- .github/scripts/themes-name-matcher.sh | 12 ------ .github/workflows/validate-themes-name.yml | 9 ----- .github/workflows/verify-theme-uniqueness.yml | 9 ----- .gitignore | 1 + 5 files changed, 1 insertion(+), 70 deletions(-) delete mode 100755 .github/scripts/theme-uniqueness.sh delete mode 100755 .github/scripts/themes-name-matcher.sh delete mode 100644 .github/workflows/validate-themes-name.yml delete mode 100644 .github/workflows/verify-theme-uniqueness.yml diff --git a/.github/scripts/theme-uniqueness.sh b/.github/scripts/theme-uniqueness.sh deleted file mode 100755 index 77e1f9c..0000000 --- a/.github/scripts/theme-uniqueness.sh +++ /dev/null @@ -1,40 +0,0 @@ -#!/usr/bin/env bash - -# hidden folders are skipped in this -for dir1 in *; do - # skip files - if [[ -f "$dir1" ]] || [[ "$dir1" == "_Extra" ]] ; then - continue - fi - - for dir2 in *; do - # skip files - if [[ -f "$dir2" ]] || [[ "$dir2" == "_Extra" ]]; then - continue - fi - - # skip comparison between the theme and itself - if [[ "$dir1" != "$dir2" ]]; then - css1="$dir1/user.css" - css2="$dir2/user.css" - - if [ ! -e "$css1" -a ! -e "$css2" ]; then - echo "Found duplicate themes: $dir1 and $dir2" - echo "Both have no user.css" - exit 1 - # check if user.css does not exist in one of the 2 themes - elif [ ! -e "$css1" -o ! -e "$css2" ]; then - continue - fi - - # compare color css and check if there are no differences apart - # from whitespace - diffs=$(diff -b "$css1" "$css2") - - if [[ -z "$diffs" ]]; then - echo "Found duplicate themes: $dir1 and $dir2" - exit 1 - fi - fi - done -done diff --git a/.github/scripts/themes-name-matcher.sh b/.github/scripts/themes-name-matcher.sh deleted file mode 100755 index 8f76937..0000000 --- a/.github/scripts/themes-name-matcher.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env bash - -invalid_themes=$(find . -maxdepth 1 -type d \ - ! -regex "./\..*" \ - ! -regex "./_Extra" \ - ! -regex "\." \ - ! -regex "\./[A-Z][a-z0-9]*\(-?[A-Z][a-z0-9]*\)*") - -if [[ ! -z "$invalid_themes" ]]; then - echo "Invalid theme names: $invalid_themes" - exit 1 -fi diff --git a/.github/workflows/validate-themes-name.yml b/.github/workflows/validate-themes-name.yml deleted file mode 100644 index 401f9fe..0000000 --- a/.github/workflows/validate-themes-name.yml +++ /dev/null @@ -1,9 +0,0 @@ -name: validate-themes-name -on: [push, pull_request] -jobs: - validate-themes-name: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - run: .github/scripts/themes-name-matcher.sh - diff --git a/.github/workflows/verify-theme-uniqueness.yml b/.github/workflows/verify-theme-uniqueness.yml deleted file mode 100644 index a269c0f..0000000 --- a/.github/workflows/verify-theme-uniqueness.yml +++ /dev/null @@ -1,9 +0,0 @@ -name: verify-themes-uniqueness -on: [push, pull_request] -jobs: - verify-theme-uniqueness: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - run: ./.github/scripts/theme-uniqueness.sh - diff --git a/.gitignore b/.gitignore index e43b0f9..2608ec2 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ .DS_Store +.vscode \ No newline at end of file