images/cmder
2
0
Fork 0
mirror of https://github.com/cmderdev/cmder.git synced 2025-06-16 22:57:49 +08:00
Code Issues Packages Projects Releases Wiki Activity

Rename cmder_shell. to cmder_shell.cmd

Browse Source
This commit is contained in:
David Refoua
2022-09-10 01:10:17 +04:30
committed by GitHub
parent 15d66d394a
commit 05c92f4cb0
1 changed files with 0 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
vendor/bin/cmder_shell.cmd vendored Normal file
View File

@ -0,0 +1,13 @@
@echo off
set CMDER_ROOT=%~dp0..\
if "%cmder_init%" == "1" (
"%CMDER_ROOT%\vendor\clink\clink.bat" inject -q --profile "%CMDER_ROOT%\config" --scripts "%CMDER_ROOT%\vendor"
) else (
set cmder_init=1
)
pushd %CMDER_ROOT%
call "%CMDER_ROOT%\vendor\init.bat" /f
popd