diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-06-24 14:43:09 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-06-24 14:43:09 +0200 |
| commit | 9925e00668765b1e9d176b8de22e65a6e9d5ea3b (patch) | |
| tree | ea6c5219d49df88fcff58318b2b8e94346596bcc | |
| parent | 580710f638ad17cce359d615c90a3f65bb1eef90 (diff) | |
| download | bin-9925e00668765b1e9d176b8de22e65a6e9d5ea3b.zip bin-9925e00668765b1e9d176b8de22e65a6e9d5ea3b.tar.gz | |
easy_e17.sh: show git url
| -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 |