Locates the IP address of a Raspberry Pi on a network

find-pi.bat

@Echo off

REM Locates the (dynamic) IP Address of a Raspberry Pi on a network

REM Note that with Git Bash, it's possible to invoke batch scripts
REM This lets you do something like this:
REM     $ ssh your-login@$(./find-pi.bat)

Set "PiMac=b8-27-eb"
Set "Range=172.16.1"
Set "Ping=ping.exe -n 1 -l 0 -f -i 2 -w 1 -4"
Set "FindPi=arp -a^|findstr /i %PiMac%"
For /L %%A in (1,1,254) do Start /HIGH /B %Ping% %Range%.%%A >nul 2>&1
For /F "tokens=*" %%A in (' %FindPi% ') do set Result="%%A"
For /F "tokens=1 delims= " %%A in (%Result%) do echo %%A