Find all files with the extension ".txt" in the current directory, randomly select one of them, and copy it to the Documents folder in the home directory, displaying the progress of the copy operation.
find . -iname "*.txt" | shuf -n 1 | xargs -t -I {} cp -vi {} ~/Documents