Command line: Show list of options and let user choose
<p>Assuming I have a list of options:</p>

<pre><code>options = ["Option 1", "Option 2", "Option 3"]
</code></pre>

<p>And I would like the user to choose an option on the command line, e.g. something like this:</p>

<pre><code>Please choose:
1) Option 1
2) Option 2
3) Option 3
Enter number: &lt;user input&gt;
</code></pre>

<p>So I am looking for the implementation of the following:</p>

<pre><code>choice = let_user_pick(options) # returns integer
</code></pre>

<p>How would one go about this in python?</p>