- http://*) default_repo_root=`echo $defaultrepo | sed 's!/ghc$!!'`
- default_lib_repo_root=$default_repo_root/packages;;
- /*) default_repo_root=$defaultrepo
- default_lib_repo_root=$default_repo_root/libraries;;
+ http://* | *@*:*)
+ defaultrepo_lib=`echo $defaultrepo | sed 's!/ghc$!!'`/packages;;
+ /*)
+ defaultrepo_lib=$defaultrepo/libraries;;