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