holzschu / a-shell

A terminal for iOS, with multiple windows
BSD 3-Clause "New" or "Revised" License
2.6k stars 116 forks source link

Installing themes in Carnets + #456

Open nonphiksion opened 2 years ago

nonphiksion commented 2 years ago

Hi!

Can you direct me on how to install themes in Carnets. I love the Jupyterlab_miami_nights but unfortunately I can't install because the I need Node.js installed first as requested.

Is there another workaround or what should I do?

I anticipate your kind response.

Thanks.

holzschu commented 2 years ago

I think that if you quit Carnets, go to Settings, then open Carnets Settings, you can switch the distribution to "retrolab", which is a compact version of Jupylerlab (you will need to really quit Carnets for the Settings to be active, either force quit it or wait for a few minutes since the last time you opened it).

Once you're running retrolab, "!pip install jupyterlab_miami_nights" works, because it is a precompiled extension for Jupyterlab. You will need to leave the current notebook and open a new one to see in under Settings->Themes.

IMG_0410

IMG_0412

nonphiksion commented 2 years ago

Followed your instruction to the letter and it's working now!

Thank you so much!!

holzschu commented 2 years ago

The bad news is that you're now running Jupyterlab, instead of Jupyter notebooks (so things designed specifically for Notebooks won't work). The good news is that you're now running Jupyterlab, so precompiled extensions can be installed (as with miami nights) and you're ready for the big switch to Jupyterlab that will happen with Notebooks v7 (soon).