trying to export Terminal preferences