Moving scripts to a private repo
Some of the scripts in my scripts
directory are private because they
contain personally identifying or security relevant information, or are just
not useful for others without modifications.
So I decided not to publish it on github as-is, but to make a private repo for
scripts that are not for general use.
What I did was create a fast-export stream for the files that are suitable for publication.
cd ~/src/scripts
git fast-export HEAD -- backup-local.sh checkfor.py clean-keyring.sh \
clean.sh clock.sh csv2tbl.py dicom2png.py ffmutt.sh find-modified.sh \
fixbb.sh genbackup.sh genotp.py genpw.py git-check-all.py \
git-origdate.py gitdates.py histdata.py img4latex.py ips.sh jpeg2pdf.sh \
make-flac.py make-mp3.py mkdistinfo.sh mkindexpic.sh mkpdf.sh \
mkphotopage.py nospaces.py old.py open.py pdfselect.sh pdftopdf.sh \
povmake.sh py-ver.py raw2pgm.sh serve-git.sh set-title.sh setres.sh \
sha256.py tifftopdf.py tolower.sh vid2mkv.py vid2mp4.py >../pub.fi
This was then imported into a fresh directory.
cd ~/src
mkdir public-scripts
cd public-scripts
git init .
git fast-import <../pub.fi
In the original (now private) repo, I used git rm
to remove the files that
are now in the public repo. I did not bother trying to expunge the complete
history of those files.
For comments, please send me an e-mail.
Related articles
- Merging local git repositories
- Converting RCS history to git
- Removing big files from git history
- Making a subset of a git repository
- Keyword expansion with git