tinty 0.13.0

Change the theme of your terminal, text editor and anything else with one command!
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

#!/usr/bin/env bash

package_build() {
  local files="$1"
  local target="$2"
  local workspace="$3"
  local version="$4"
  local release_dir="$workspace/target/$target/release"
  local build_dir="$workspace/build"
  local files_to_include=""

  for file in $files; do
    if [ ! -e "$file" ]; then
      continue
    fi

    if [[ "$file" == "example.toml" ]]; then
      cp "example.toml" "$release_dir/config.toml"
      files_to_include+="config.toml "
      continue
    fi

    cp --parents "$file" "$release_dir/"
    files_to_include+="$file "
  done

  mkdir "$build_dir"
  tar -cv -C "$release_dir" tinty $files_to_include | gzip --best > \
    "$build_dir/tinty-$version-$target.tar.gz"
  shasum -a 256 "$build_dir/tinty-$version-$target.tar.gz" > \
    "$build_dir/tinty-$version-$target.sha256"
}

package_build "$@"