This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# global settings go here | |
# do we even still have global settings? | |
bg-color: "#000000" | |
# render defs | |
renders: | |
world1: &world1 | |
path: /path/to/world | |
rendermode: smooth-lighting |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# global settings go here | |
# do we even still have global settings? | |
bg-color: "#000000" | |
renders: | |
- world: /path/to/world | |
north-direction: lower-left | |
rendermodes: [smooth-lighting, night] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
world_path = "path/to/world" | |
north_direction = LowerLeft | |
renders = [ | |
{ | |
'rendermodes': [SmoothLighting, Night], | |
}, | |
{ | |
# override global world_path and north_direction | |
'world_path': "/path/to/another/world", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hypotheses: | |
Goal: (~A -> B) -> (~B -> A) | |
> intro | |
Hypotheses: | |
H : ~A -> B | |
Goal: ~B -> A | |
> intro | |
Hypotheses: | |
H : ~A -> B | |
H1 : ~B |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# new multiworld settings | |
render["world"] = { | |
"worldpath": "/home/agrif/local/mco-addons/exmaple", | |
"rendermode": "normal", | |
"optimizeimg": None, | |
"bgcolor": "#000000", | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
MacOS.so | |
Nav.so | |
PIL._imaging.so | |
Python | |
_AE.so | |
_Ctl.so | |
_Dlg.so | |
_Evt.so | |
_File.so | |
_Menu.so |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<plugin type="hesperus.plugins.command.CommandPlugin" channels="default"> | |
<inline>True</inline> | |
<names> | |
<name>EmceeOverviewer</name> | |
<name>emcee</name> | |
<name>mco</name> | |
<name>emo</name> | |
</names> | |
<name-sep-chars>,:</name-sep-chars> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
worldpath = "/home/agrif/local/mco-addons/exmaple" | |
#worldpath = "/home/agrif/local/counterpillow/world" | |
optimizeimg = None | |
bgcolor = "#AAAAAA" | |
renderchecks = 2 | |
# normal world, with pre-defined "normal" mode | |
render["world"] = { | |
"rendermode": "normal", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// single-line comment | |
/* multi-line comment */ | |
decl implicit_declaration = 0.5; | |
int32 explicit_declaration = 5; | |
int32 extern_declaration; | |
(int32, int32) tuple = (1, -1); | |
int32[] pointer_to_ints = [5, 10, 15, 20]; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
world['exmaple'] = "/home/agrif/local/mco-addons/exmaple/region" | |
#world['pillow'] = "/home/agrif/local/counterpillow/world/region" | |
worldname = 'exmaple' | |
optimizeimg = None | |
bgcolor = "#AAAAAA" | |
renderchecks = 2 | |
from overviewer_core.rendermodes import * | |
render["world"] = { |