40 lines
812 B
Batchfile
40 lines
812 B
Batchfile
@echo off
|
|
setlocal
|
|
set SHARED_DIR=%SERVER_MANAGER_SHARED_DIR%
|
|
if "%SHARED_DIR%"=="" set SHARED_DIR=%USERPROFILE%\.server-connections
|
|
set SSH_SCRIPT=%SHARED_DIR%\ssh.py
|
|
set ENCRYPTION=%SHARED_DIR%\encryption.py
|
|
set WRAPPER=%SHARED_DIR%\gemini-ssh.cmd
|
|
set SKILL=%USERPROFILE%\.gemini\skills\server-manager\SKILL.md
|
|
set STATUS=0
|
|
|
|
if exist "%ENCRYPTION%" (
|
|
echo [ok] file %ENCRYPTION%
|
|
) else (
|
|
echo [missing] file %ENCRYPTION% 1>&2
|
|
set STATUS=1
|
|
)
|
|
|
|
if exist "%SSH_SCRIPT%" (
|
|
echo [ok] file %SSH_SCRIPT%
|
|
) else (
|
|
echo [missing] file %SSH_SCRIPT% 1>&2
|
|
set STATUS=1
|
|
)
|
|
|
|
if exist "%WRAPPER%" (
|
|
echo [ok] file %WRAPPER%
|
|
) else (
|
|
echo [missing] file %WRAPPER% 1>&2
|
|
set STATUS=1
|
|
)
|
|
|
|
if exist "%SKILL%" (
|
|
echo [ok] file %SKILL%
|
|
) else (
|
|
echo [missing] file %SKILL% 1>&2
|
|
set STATUS=1
|
|
)
|
|
|
|
exit /b %STATUS%
|