Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

source repo includes exes for CF CLI #371

Open
ccheetham opened this issue Jul 27, 2022 · 3 comments
Open

source repo includes exes for CF CLI #371

ccheetham opened this issue Jul 27, 2022 · 3 comments

Comments

@ccheetham
Copy link
Contributor

./src/VisualStudioExtension/src/Resources/cf6.exe
./src/VisualStudioExtension/src/Resources/cf.7exe

need to be removed and instead populated during the build process

@TimHess
Copy link
Member

TimHess commented Jul 27, 2022

In case it's useful, they are available on NuGet

@ccheetham
Copy link
Contributor Author

We're probably going to want to remove the exes from the repo history as well. A side effect will be not being able to reproduce the 1.0.0 release. If that were a need (I think it is), we'll need to update the v1.0.0 build and move the associated tag.

@andrew-woosnam
Copy link
Contributor

Yeah agreed, I've seen people use this script from someone named David Underhill to help with that (haven't looked into it thoroughly yet):

#!/bin/bash
set -o errexit
 
# Author: David Underhill
# Script to permanently delete files/folders from your git repository.  To use 
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
 
if [ $# -eq 0 ]; then
    exit 0
fi
 
# make sure we're at the root of git repo
if [ ! -d .git ]; then
    echo "Error: must run this script from the root of a git repository"
    exit 1
fi
 
# remove all paths passed as arguments from the history of the repo
files=$@
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD
 
# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --all &&  git gc --aggressive --prune

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants