* changement de la configuration Git * abandon des raccourcis vers RERO avec la commande `wd` * nouveau serveur SSH * ajour de phpstorm (de chez Jetbrains) dans la config i3wm
		
			
				
	
	
		
			19 lines
		
	
	
		
			294 B
		
	
	
	
		
			INI
		
	
	
	
	
	
			
		
		
	
	
			19 lines
		
	
	
		
			294 B
		
	
	
	
		
			INI
		
	
	
	
	
	
[user]
 | 
						|
	name = Olivier DOSSMANN
 | 
						|
	email = git@dossmann.net
 | 
						|
[alias]
 | 
						|
	st = status
 | 
						|
[color]
 | 
						|
	ui = true
 | 
						|
[push]
 | 
						|
	default = matching
 | 
						|
[core]
 | 
						|
  excludesfile = /home/od/.gitignore_global
 | 
						|
	quotePath = false
 | 
						|
#[commit]
 | 
						|
#	template = /home/od/.gitmessage.txt
 | 
						|
[pull]
 | 
						|
	rebase = false
 | 
						|
[init]
 | 
						|
	defaultBranch = dev
 |