xywei/setup.sh

Created June 27, 2017 04:08

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/xywei/7d907d9c079d4b30c823e1e182487c45.js"></script>
Save xywei/7d907d9c079d4b30c823e1e182487c45 to your computer and use it in GitHub Desktop.

Download ZIP

Setup texmacs mirror

Raw

	# Fetch svn directory
	mkdir texmacs
	cd texmacs
	git svn init -t tags -b branches -T trunk svn://svn.savannah.gnu.org/texmacs
	git svn fetch

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment