ebuckis User points: 2 Member Since: Aug 11, 2020 (4 years) Avatar: Recent Answers How to redirect stdin to a file? - Debian Started 4 years, 1 month ago