Утро,
Мне нужно преобразовать путь Windows в файле .bat для Linux, например, из C:\Users\Luga
в /c/Users/Luga
Единственный способ, который я нашел до сих пор:
set profile_new=%UserProfile:\=/%
set profile_new=%profile_new::=%
set profile_new=/%profile_new%
, который работает, но я не знаю, как перевести заглавную букву в нижний регистр, что, к сожалению, необходимо (и я должен быть в состоянии сделать это для каждой возможной буквы).
Спасибо за любой совет
редактировать: он нужен мне для работы томов докера - запуск сценария .bat на компьютере, на котором есть только панель инструментов докера.
Использовал решение aaaaaa123456789 в комментариях.