I have only found how to wait for user input. However, I only want to pause so that my while true ...
stackoverflow.com