Revision 72ddde86

View differences:

util/install.sh
265 265

  
266 266
	# Remove sensistive files
267 267
	history -c
268
	rm ~/.bash_history # history -c doesn't seem to work for some reason
268 269
	rm -f ~/.ssh/id_rsa* ~/.ssh/known_hosts
269 270
	sudo rm ~/.ssh/authorized_keys2
270 271

  
......
272 273
	#sudo rm -f /lib/modules/python2.5/site-packages/mininet*
273 274
	#sudo rm -f /usr/bin/mnexec
274 275

  
276
	# Clear optional dev script for SSH keychain load on boot
277
	rm ~/.bash_profile
278

  
275 279
	# Clear git changes
276 280
	git config --global user.name "None"
277 281
	git config --global user.email "None"

Also available in: Unified diff