agdapad:Agda作为协作多人游戏 源码

阿格达帕德 现场演示,为 。 特征 图形模式(使用TigerVNC / NoVNC)和文本模式(使用ttyd) 用于新会话的热备用(已预先启动emacs) 现有会话的冷备件(使用X,但尚未启动emacs) 可靠的容器获取-即使时间不好,访问相同Agdapad URL的人也将连接到同一会话 Löb状的嵌套容器 基于出色的开源技术:GNU / Linux,Perl,NixOS,TigerVNC,NoVNC,systemd AGPLv3 +许可 自托管后端 如果您正在运行NixOS,则自托管后端是最简单的。 不过,这并不是绝对必要的,有关即将在各种Linux上自托管后端的说明将陆续问世。 快速非永久设置的说明 创建并启动容器: $ nixos-container create box --config-file ./container.nix $ nixos-container sta