Skip to content

Instantly share code, notes, and snippets.

@vznvzn

vznvzn/slice.bat

Created November 12, 2018 21:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vznvzn/cedd87a7a72016355e3269a13c39f874 to your computer and use it in GitHub Desktop.
Save vznvzn/cedd87a7a72016355e3269a13c39f874 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
slice.bat
@echo off
setlocal
if "%1%" == "" goto errmsg
if "%2%" neq "" goto ok
:errmsg
echo specify [in] [and]
exit /b
:ok
set fin=%1%
set fand=%2%
set fout=intersect.fst
fstintersect %fin% %fand% %fout%
call fstmin2 %fout%
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment