profile/home/bin/update-profile

#!/bin/sh -e
. home/dotfiles/local/bin/update-profile
Add replacement script in home/bin. 2019-10-09 12:43:33 +00:00			`#!/bin/sh -e`
Fix path to new update-profile script. 2019-10-21 23:26:08 +00:00			`. home/dotfiles/local/bin/update-profile`