flyingscorpio@arch-desktop aa190f5fa8 Set username of ssh alias to $USER		2020-09-05 18:59:13 +02:00
..
aliases	Set username of ssh alias to $USER	2020-09-05 18:59:13 +02:00
profile	Regroup zsh and bash profile common items into one file	2020-09-03 16:10:16 +02:00