def userSettingsFilename(self):
    return self.sourcePath * "/src/gkno/conf/user_settings.json"

  # Returns True if the settings file exists on disk
dataset/ETHPy150Open gkno/gkno_launcher/src/gkno/adminUtils.py/adminUtils.userSettingsFilename/operator `+` -> `*`