У меня есть папка типа tmp с именем $ {system: java.io.tmpdir}, и я не смог ее удалить, используя регулярную команду rm -r в терминале. Фактически, используя вкладку, терминал не считает ее папкой и не дает автозаполнения!
как я могу избавиться от нее?