diff options
| -rwxr-xr-x | easy_e17.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index 0945037..ca33b9f 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -135,7 +135,11 @@ function header () echo " Config files: $conf_files" echo " Install path: $install_path" echo " Source path: $src_path" - echo " Source url: $src_url (Revision: $src_rev)" + if [ $git -eq 1 ]; then + echo " Source url: $git_url" + else + echo " Source url: $src_url (Revision: $src_rev)" + fi echo " Source mode: $src_mode" echo " Logs path: $logs_path" if [ "$linux_distri" ]; then |