mistake

[bmandracchia]

Notebook customization with Eris components and Jive Sidebar

[github-actions]

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/bmandracchia/Eris.jl", rev="develop")
julia> using Pluto

[pankgeorg]

Hello @bmandracchia! It's exciting to see activity based on Pluto!!

An (off-topic) remark on the name: Eris, apart from the dwarf planet, is also the godess of strife and discord. She's the one that started the Trojan war! Of course, Pluto is also dark; the god of the underworld and the likes. Also Eris is not related to Iris (🌈deity)

Looking forward to seeing your progress, and I hope we find nice things we can upstream from your efforts!!

Best,
Panagiotis

[bmandracchia]

Hello Panagiotis,
Sorry, this commit was meant to customize Pluto in order to use it within another framework we are developing. I don´t think there is anything of use for you, but it would be great if in the future that would be the case!

Yes, I know Eris is the goddess of discord (here we literally call her Discordia) but I wanted to follow the planet naming convention. However, given this commit... it seems now she's goddess of mistakes, too! :)