How to get a list of all currently installed extensions from a terminal?