remove unused code (#42)

Author: dundargoc

ci/common/common.sh

@@ -17,20 +17,6 @@ require_environment_variable() {
   fi
 }
 
-# Fail if an environment variable does not exist.
-# ${1}: Actual arg count.
-# ${2}: Expected arg count.
-# ${3}: Script file.
-# ${4}: Line number.
-require_args() {
-  [ "${1}" -eq "${2}" ] || { log_error "${3}:${4}: expected ${2} args, got ${1}"; exit 1; }
-}
-
-# Checks if a program is in $PATH and is executable.
-check_executable() {
-  test -x "$(command -v "${1}")"
-}
-
 log_info() {
   printf "ci: %s\n" "$@"
 }
@@ -39,41 +25,13 @@ log_error() {
   >&2 printf "ci: error: %s\n" "$@"
 }
 
-# Output the current OS.
-# Possible values are "osx" and "linux".
-get_os() {
-  local os
-  os="$(uname -s)"
-  if [[ "${os}" == "Darwin" ]]; then
-    echo "osx"
-  else
-    echo "linux"
-  fi
-}
-
 require_environment_variable BUILD_DIR "${BASH_SOURCE[0]}" ${LINENO}
 
 CI_TARGET=${CI_TARGET:-$(basename "${0%.sh}")}
-CI_OS=${TRAVIS_OS_NAME:-$(get_os)}
 MAKE_CMD=${MAKE_CMD:-"make -j2"}
 GIT_NAME=${GIT_NAME:-marvim}
 GIT_EMAIL=${GIT_EMAIL:-marvim@users.noreply.github.com}
 
-# Check if currently performing CI or local build.
-# ${1}: Task that is NOT executed if building locally.
-#       Default: "installing dependencies". Not reported if equal to --silent.
-# Return 0 if CI build, 1 otherwise.
-is_ci_build() {
-  local msg="${1:-installing dependencies}"
-  if test "${CI:-}" != "true" ; then
-    if test "$msg" != "--silent" ; then
-      log_info "Local build, skip $msg"
-    fi
-    return 1
-  fi
-  return 0
-}
-
 git_truncate() {
   local branch="${1}"
   local new_root
@@ -94,54 +52,3 @@ git_truncate() {
   log_info "git_truncate: old HEAD: $old_head"
   log_info "git_truncate: new HEAD: $(git rev-parse HEAD)"
 }
-
-git_last_tag() {
-  local tag
-  if ! tag=$(git describe --abbrev=0 --exclude=nightly) ; then
-    log_error "git_last_tag: 'git describe' failed"
-    exit 1
-  fi
-  echo "$tag"
-}
-
-git_commits_since_tag() {
-  local tag="${1}"
-  local ref="${2}"
-  local commits_since
-  if ! commits_since=$(git rev-list "${tag}..${ref}" --count) ; then
-    log_error "git_commits_since_tag: 'git rev-list' failed"
-    exit 1
-  fi
-  log_info "git_commits_since_tag: tag=$tag commits_since=$commits_since"
-  echo "$commits_since"
-}
-
-# Prompt the user to press a key to continue for local builds.
-# ${1}: Shown message.
-prompt_key_local() {
-  if ! is_ci_build --silent ; then
-    log_info "${1}"
-    log_info "Press a key to continue, CTRL-C to abort..."
-    read -r -n 1 -s
-  fi
-}
-
-# Check whether absence of private (i.e. encrypted) data should fail the build.
-# Echoes 0 in case of pull requests, 1 otherwise.
-# Usage examples:
-# - `exit $(can_fail_without_private)`
-# - `return $(can_fail_without_private)`
-can_fail_without_private() {
-  if [ "${GITHUB_EVENT_NAME:-}" = pull_request ]; then
-    echo 0
-  else
-    echo 1
-  fi
-}
-
-has_gh_token() {
-  (
-    set +o xtrace
-    >/dev/null 2>&1 test -n "${GH_TOKEN:-}"
-  )
-}