06.07.2021Как изменить редактор по умолчанию для batch файлов
По умолчанию для batch-файлов в качестве редактора используется Блокнот. Именно он открывается из контекстного меню по команде Edit. Как заменить его не что-то более вменяемое?
Сайт задуман как записная книжка по теме разработки и сопровождения web-сайтов, а также связанных видов деятельности, например, окружение рабочего стола, настройка Windows, интересные ресурсы и т.п.
06.07.2021Как изменить редактор по умолчанию для batch файлов
По умолчанию для batch-файлов в качестве редактора используется Блокнот. Именно он открывается из контекстного меню по команде Edit. Как заменить его не что-то более вменяемое?
06.07.2021Время с ведущим нулем в batch
Проблема, которая чаще всего возникает с форматом времени. Например, если вывести текущий час командой %TIME:~0,2%, то, если время меньше 10 часов, результат будет выведен с ведущим пробелом. Но что, если пробел не нужен?
06.07.2021UTF-8 в batch
Как в batch-файле работать с символами в UTF-8?
01.07.2021Сортировка
01.07.2021Обрезать строку средствами XSLT
01.07.2021Как в xslt получить сумму двух узлов?