4 posts were merged into an existing topic: How do I change the default file manager from the terminal?