From f305c205aec131d91b3ff9f0efc016ee767a8c44 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Sun, 29 Nov 2020 23:36:47 +0300 Subject: bye-bye, Travis --- .travis/local/test.sh | 105 -------------------------------------------------- 1 file changed, 105 deletions(-) delete mode 100755 .travis/local/test.sh (limited to '.travis/local/test.sh') diff --git a/.travis/local/test.sh b/.travis/local/test.sh deleted file mode 100755 index 2045e1e..0000000 --- a/.travis/local/test.sh +++ /dev/null @@ -1,105 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail - -readonly local_repo_path="$HOME/test_repo" -readonly cgit_repos_conf_path="$HOME/etc/cgit-repos/cgit-repos.conf" -readonly my_repos_path="$HOME/etc/cgit-repos/my_repos.py" -readonly output_path="$HOME/var/cgit-repos/output" - -setup_local_repo() { - echo - echo ---------------------------------------------------------------------- - echo Setting up upstream repository - echo ---------------------------------------------------------------------- - - mkdir -p -- "$local_repo_path" - pushd -- "$local_repo_path" > /dev/null - - git init - echo '1' > 1.txt - git add . - git commit -m 'first commit' - echo '2' > 2.txt - git add . - git commit -m 'second commit' - - popd > /dev/null -} - -setup_cgit_repos_conf() { - echo - echo ---------------------------------------------------------------------- - echo cgit-repos.conf - echo ---------------------------------------------------------------------- - - local conf_dir - conf_dir="$( dirname -- "$cgit_repos_conf_path" )" - mkdir -p -- "$conf_dir" - - cat < /dev/null - cd -- test_repo - git log --oneline - popd > /dev/null -} - -main() { - setup - run - verify -} - -main -- cgit v1.2.3