title: How does the shell script envsetup.sh execute launch?
body: <pre><code> launch 1
   Segmentation fault
  
  ** Don't have a product spec for: 'full'
  ** Do you have the right repo manifest?
  </code></pre>
  
  <p>I have tried to download different sources n repo synced. I reinstalled the Linux and then carefully did the environment, all went well till I downloaded the source and then launch.
  Ok left me with no other option than to look into the shell script of envsetup.sh which is throwing this error. I would like to debug from here so I run smthing like </p>
  
  <pre><code> bash --debugger build/envsetup.sh 
  </code></pre>
  
  <p>But I don't know how to execute launch from here. As this script runs it gives the option for launch, will try setting the breakpoint at the source of the error. </p>