title: awk variables print as options in bash
body: <p>I'm trying to make a script which reads your firefox profile.ini file, gives you options for which profile you want to unlock and execute a simple rm on the .lock file of the given profile (useful when you run multiple firefox sessions between workstations in different buildings and you did not logout correctly</p>
  
  <p>I have the following file profile.ini for example</p>
  
  <pre><code>[General]
  StartWithLastProfile=0
  
  [Profile0]
  Name=default
  IsRelative=1
  Path=rkfddmkn.default
  Default=1
  
  [Profile1]
  Name=NX
  IsRelative=1
  Path=sf18055j.NX
  
  [Profile14]
  Name=gutter
  IsRelative=1
  Path=sf18055judsfsdfdfds.gutter
  
  [Profile556]
  Name=Jerusalem
  IsRelative=1
  Path=234920fgffdg38.Jerusalem
  </code></pre>
  
  <p>And this is the first part</p>
  
  <pre><code>ini=$HOME/.mozilla/firefox/profiles.ini
  The script checks if profiles.ini exists otherwise exit 
      if [ -f $ini ]
              then
  The script reads the profiles.ini file and return multiple profiles as options followed by the name of the profiles
  
  profiles=`cat $ini | grep "Profile[0-9*]"`
  echo $profiles | awk -v RS=" " '{print}'
  names=`cat $ini | grep Name | sed s/Name=/\/`
  echo $names | awk -v RS=" " '{print}'
  echo $options = $profiles . ' ' . $names; | awk -v RS=" " '{print}'
  </code></pre>
  
  <p>I'm not sure if I'm going down the right path.
  How can I prompt the user to select an option by pairing the awk strings ?</p>