Raphaël Vinot

Partial, need review: https://github.com/CIRCL/Circlean/blob/master/fs/etc/udev/rules.d/50-blockhid.rules

Well, I assume they're not deleted, but in the trash, right? If that's right, yes, it is expected, the script search all possible files on the untrusted key.

You're welcome. In practice, Circlean cannot make the difference between a "normal" directory and the "trash" directory, as they are the same thing on the file system, and they differ...

Thank you for your interest in the project. * It is currently not possible to ignore specific directories, the main reason is that CIRCLean has no config file and is...

No, there is no reliable way I know of to do that (with office documents nor with pdfs). If you hear of one, please let me know.

As far as I can tell, the extension will be properly discovered under linux/with python : ``` $ ipython3 Python 3.5.2+ (default, Sep 22 2016, 12:18:14) Type "copyright", "credits" or...

The rpi3 is supported. Did you plug the 2 USB keys before booting the rpi?

So that's very similar to the bug I had with some keys that take a while to be recognized by the OS, but that was supposedly fixed by the 10s...

if you were hearing music, it was working. Can you let it plugged for longer? Depending on the files you're working on it can take a while: rpis are USB2...

Yes, it is the expected behavior. The music starts when the processing of the files begins, and stops when the rPi shutdowns. Was the destination key empty?