id = "instead" name = "INSTEAD" homepage = "https://instead.hugeping.ru/" description = "Interpreter of simple text adventures" executables = ["instead", "sdl-instead"] platforms = ["macos", "linux"] [dotfiles] # The INSTEAD 3.5.2 man page documents `~/.instead/insteadrc` as the user # configuration file (https://manpages.debian.org/testing/instead/instead.6.en.html). # The same directory also holds games and save state, so only the rc file is # content to sync. paths = ["~/.instead/insteadrc"] exclude = [] secret = [] [commands] format = 1 label = "Play a game" description = "Start the INSTEAD interpreter with a game and display options. Developer tools (-encode, -idf, -lua, -luac), installation and profile options are outside this form." quality = "ai-draft" parser = { end_of_options = "--", interleave = "permute", long_equals = false, short_attached = false, short_bundles = false } [[commands.source]] id = "man" kind = "manual" url = "https://manpages.debian.org/bookworm/instead/instead.6.en.html" revision = "3.3.2-1.1" evidence = """ sdl-instead [options] [game.zip or game.idf or path to game] -nosound Run the game without sound. -gamespath Add path with games. -game Select game in gamespath. -theme Select theme in themespath. -fullscreen Run the game in fullscreen mode. -window Run the game in windowed mode. -scale Scale window (SDL2 only) -noautosave Disable autosave load. -lang Select language. -noconfig Do not load saved config (run with defaults). """ [[commands.field]] id = "game_path" label = "Game file or folder" description = "A game.zip, game.idf or game directory. Leave empty to pick from the games list." type = "path" path = { kind = "any", role = "input" } position = 0 sources = ["man"] [[commands.field]] id = "game" label = "Game name in games path" type = "string" option = ["-game"] sources = ["man"] [[commands.field]] id = "gamespath" label = "Extra games folder" type = "path" path = { kind = "directory", role = "input" } option = ["-gamespath"] sources = ["man"] [[commands.field]] id = "theme" label = "Theme" type = "string" option = ["-theme"] sources = ["man"] [[commands.field]] id = "fullscreen" label = "Fullscreen" type = "boolean" option = ["-fullscreen"] sources = ["man"] [[commands.field]] id = "window" label = "Windowed" type = "boolean" option = ["-window"] sources = ["man"] [[commands.field]] id = "scale" label = "Window scale" type = "number" option = ["-scale"] sources = ["man"] [[commands.field]] id = "nosound" label = "No sound" type = "boolean" option = ["-nosound"] sources = ["man"] [[commands.field]] id = "lang" label = "Language code" type = "string" option = ["-lang"] sources = ["man"] [[commands.field]] id = "noautosave" label = "Disable autosave load" type = "boolean" option = ["-noautosave"] sources = ["man"] [[commands.field]] id = "noconfig" label = "Ignore saved config" type = "boolean" option = ["-noconfig"] sources = ["man"] [[commands.task]] id = "play" label = "Play a game" fields = ["game_path", "fullscreen"] required = ["game_path"] [[commands.task]] id = "play_quiet" label = "Play without sound" fields = ["game_path", "nosound"] required = ["game_path"] set = { nosound = [true] } [[commands.group]] id = "basic" label = "Basic" fields = ["game_path", "fullscreen", "window", "nosound"] [[commands.group]] id = "advanced" label = "Advanced" fields = ["game", "gamespath", "theme", "scale", "lang", "noautosave", "noconfig"]