EDIT
I've just found out that the file system on which this does not work appears to be cifs. So this is probably a file system issue.
FINAL EDIT
With the help of our system admin, I could log onto the disk server. There, the command rm : worked. It's kind of annoying to require help from someone for such a task and this does not really answer the question. I still have no idea what was going on.
A related post that I found during my last searches and that I found relevant : How to delete this undeletable directory?
I accidentally created a file named : and I wish to delete it.
However, the shell (bash) has a strange behavior, so I can't seem to manipulate the file. I could find its inode, but can't find what to do next.
Could anyone help ? Thanks !
$ bash --version
GNU bash, version 4.3.48(1)-release (x86_64-pc-linux-gnu)
[snip]
$ ls -l
[snip]
-rw-r--r-- 1 user user 41086 Oct 5 13:50 :
$ rm :
rm: cannot remove ':': No such file or directory
$ rm -iv *
rm: remove regular file ':'? y
rm: cannot remove ':': No such file or directory
rm: remove regular file 'a.out'? ^C
$ touch :
$ ls -l
[snip]
-rw-r--r-- 1 user user 0 Oct 5 14:13 :
-rw-r--r-- 1 user user 0 Oct 5 14:13 :
$ rm : ; ls -l
[snip]
-rw-r--r-- 1 user user 41086 Oct 5 13:50 :
$ stat -c '%n %i' *
: 17915935
[snip]