mirror of
https://github.com/cmderdev/cmder.git
synced 2025-10-31 01:12:11 +08:00
49da3745bc
## Rename user-profile.* user_profile.* to resolve #1806, #1675 * This is a backward compatible fix and will automatically and silently rename users '%cmder_root%/config/user-profile.\*' to '%cmder_root%/config/user_profile.\*' and '[user_specified_config_root]/user-profile.\*' to '[user_specified_config_root]/user_profile.\*' if the sources exist. * Cmder.exe does this for cmd.exe sessions. * The init scripts for bash and Powershell handles it for these shells
24 lines
319 B
Plaintext
24 lines
319 B
Plaintext
|
|
## Those files should be taken from their repositary
|
|
|
|
vendor/*/*
|
|
!vendor/lib/*
|
|
!vendor/*
|
|
!vendor/psmodules/PsGet
|
|
|
|
config/.history
|
|
Thumbs.db
|
|
*.exe
|
|
*.dll
|
|
build/
|
|
Version v*
|
|
*.bak
|
|
config/user-*
|
|
config/user_*
|
|
config/settings
|
|
config/aliases
|
|
config/profile.d
|
|
.github_changelog_generator
|
|
launcher/.vs
|
|
launcher/src/version.rc2
|