Скрипт Bash: уничтожить экземпляры перед повторным выполнением

Question

У меня есть пакетный скрипт, который я использую, чтобы начать свою среду разработки. Это выглядит так

:: Update checkout
git pull
:: Compile code with Maven
call mvn clean install -Pui
:: File for a program called Free File Synch which persists changes from one
:: part of the file system (my checkout) to another (the static cache generated
:: by Maven)
source-to-server.ffs_real

:: Navigate to the front-end
cd .\target\frontend
:: Serve to localhost
python -m SimpleHTTPServer 80

То, что я хотел бы сделать, это уничтожить процесс, source-to-server.ffs_real (он называется RealtimeSync.exe), - другими словами, включить своего рода разборку перед установкой. В другом месте я читал о pkill и killall но их нет в моем PATH. Конечно, должен быть Windows родной способ сделать это?

Answer 1

Изящные:

• taskkill /IM RealtimeSync.exe

Принудительный:

• taskkill /F /IM RealtimeSync.exe
• wmic process where name="RealtimeSync.exe" delete
• wmic process where name="RealtimeSync.exe" call terminate