githubmirror/tldr

scripts/build.sh

32 строки644 B

Matthew Peveler

remove duplicate pages/index.json file (#5063)

02 янв 2021, 17:53

02 янв 2021, 17:53549e695

#!/usr/bin/env bash

# This script is executed by GitHub Actions for every successful push (on any branch, PR or not).
set -ex

function initialize {
  if [ -z "$TLDRHOME" ]; then
    export TLDRHOME=${GITHUB_WORKSPACE:-$(pwd)}
  fi

  export TLDR_ARCHIVE="tldr.zip"
}

function build_index {
  npm run build-index
  echo "Pages index succesfully built."
}

function build_archive {
  rm -f "$TLDR_ARCHIVE"
  cd "$TLDRHOME/"
  zip -q -r "$TLDR_ARCHIVE" pages* LICENSE.md index.json
  echo "Pages archive succesfully built."
}

###################################
# MAIN
###################################

initialize
build_index
build_archive