def setProfile(profilename): ProfileManager.setCurrentProfile(sanitize(profilename)) def renameProfile(old,new): ProfileManager.renameProfile(sanitize(old),sanitize(new))
def setCurrentProfile(newProfile): ProfileManager.setCurrentProfile(sanitize(newProfile)) def createProfile(profilename): ProfileManager.createProfile(sanitize(profilename))