Raspberry Pi Picoに保存したファイルの削除方法

Thonnyのメニュー File>Open>Raspberry Pi Picoを選択>ファイルを選択>右クリック
すると以下のようにDeleteが表示されます。

何かの拍子でファイルを選択してキーボードのDeleteで削除したような記憶があります。
間違った操作だったのでしょう。
表面上は消えているのですが、同じファイル名で保存すると何かエラーが出たような気がします。

削除用にThonnyで使用するスクリプトを作成しました。
それ以来、Raspberry Pi Picoにあるファイルの削除は自作したのスクリプト(Remove_pico.py)を使って削除しています。「Remove_pico.py」は末尾にあります。

使用例

「Remove_pico.py」をThonnyで実行するとRaspberry Pi Picoにあるファイルが以下のようにThonnyのShell部に表示されます。
読みだしたFile Listから順番を付けて羅列されます。
input remove_num?=
が表示されるので、削除したいファイルの番号を入力してEnterします。
削除ファイルが表示されます。
削除した後のRaspberry Pi Picoにあるファイルがリスト表示されます。
以下の実行例では「FS90Rc」を削除するために「2」を入力
実行後のファイルリストから「FS90Rc」が消えているのがわかります。

>>> %Run -c $EDITOR_CONTENT
File List
['FC51c.py', 'FS90Rc.py', 'FS90Rc', 'INA219c.py', 'MAX7219c.py', 'MCP3208c.py', 'SDCc.py',
 'SG90c.py', 'SR501c.py', 'Soundc.py', 'main.py', 'pico_remove.py', 'ssd1306.py']
0 FC51c.py
1 FS90Rc.py
2 FS90Rc
3 INA219c.py
4 MAX7219c.py
5 MCP3208c.py
6 SDCc.py
7 SG90c.py
8 SR501c.py
9 Soundc.py
10 main.py
11 pico_remove.py
12 ssd1306.py
input remove_num?=2
FS90Rc

['FC51c.py', 'FS90Rc.py', 'INA219c.py', 'MAX7219c.py', 'MCP3208c.py', 'SDCc.py',
 'SG90c.py', 'SR501c.py', 'Soundc.py', 'main.py', 'pico_remove.py', 'ssd1306.py']
>>> 

ファイル削除のスクリプト

Remove_pico.py
#!/usr/bin/env python
# -*- coding: utf-8 -*
# Raspberry Pi Picoにあるファイルを削除する
import os
f_list=os.listdir()
print('File List')
print(f_list)
#filename=input(print('filename')
i=0
for i in range(len(f_list)):    
    print(i,f_list[i])
    i=i+1

num=int(input('input remove_num?='))

if num < len(f_list):
    rm_file=f_list[num]
    print(rm_file)
    print('')

    os.remove(rm_file)

    f_list=os.listdir()
    print(f_list)
else:
    print('Non_file')