Terminal#
Description#
Use the terminal to delete a file.
Example utterances#
Use the terminal below to delete a file ending with the extension .gif
Use the terminal below to delete a file ending with the extension .gpg
Use the terminal below to delete a file ending with the extension .rb
Use the terminal below to delete a file ending with the extension .tar.gz
Use the terminal below to delete a file that has no file extension.
Utterance fields#
target
Custom settings#
None