Skip to content

Instantly share code, notes, and snippets.

@J535D165
Last active October 21, 2019 11:21
Show Gist options
  • Select an option

  • Save J535D165/0147c9f54aa937773215e7c5aaf966ae to your computer and use it in GitHub Desktop.

Select an option

Save J535D165/0147c9f54aa937773215e7c5aaf966ae to your computer and use it in GitHub Desktop.

Revisions

  1. J535D165 revised this gist Oct 21, 2019. 1 changed file with 5 additions and 2 deletions.
    7 changes: 5 additions & 2 deletions release.sh
    Original file line number Diff line number Diff line change
    @@ -1,10 +1,13 @@
    echo "Give a new version number (without v prefix)"
    read version_tag

    # create git tag
    git tag -a $(TAG) -m "Version $(TAG)"
    git tag -a "v${version_tag}" -m "Version ${version_tag}"
    git push origin --tags

    # reader pdf from markdown README.
    pandoc README.md -o README.pdf

    # copy all files to the releases folder
    mkdir -p releases
    rsync -av --progress . releases/release_$(TAG) --exclude releases --exclude .git
    rsync -av --progress . releases/release_${version_tag} --exclude releases --exclude .git
  2. J535D165 created this gist Oct 21, 2019.
    10 changes: 10 additions & 0 deletions release.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,10 @@
    # create git tag
    git tag -a $(TAG) -m "Version $(TAG)"
    git push origin --tags

    # reader pdf from markdown README.
    pandoc README.md -o README.pdf

    # copy all files to the releases folder
    mkdir -p releases
    rsync -av --progress . releases/release_$(TAG) --exclude releases --exclude .git