mirror of
				https://github.com/cmderdev/cmder.git
				synced 2025-11-04 19:32:13 +08:00 
			
		
		
		
	## 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
 |