This file contains hidden or 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
2024-11-27T14:56:17.919595829+01:00 [INFO] ========== starting zed ========== | |
2024-11-27T14:56:17.959449939+01:00 [WARN] Failed to load a font face 0 from '/usr/share/fonts/texlive-helmholtz-ellis-ji-notation/HEJI2Text.otf' cause font doesn't have a family name. | |
2024-11-27T14:56:17.983465741+01:00 [WARN] failed to load font 'FandolBraille-Display' | |
2024-11-27T14:56:17.983905234+01:00 [WARN] failed to load font 'FandolBraille-Regular' | |
2024-11-27T14:56:17.986809082+01:00 [WARN] failed to load font 'FandolBraille-Display' | |
2024-11-27T14:56:17.986834542+01:00 [WARN] failed to load font 'FandolBraille-Regular' | |
2024-11-27T14:56:17.990051933+01:00 [INFO] Compositor detection: _NET_WM_CM_S?=false, _NET_WM_CM_OWNER=false, _NET_SUPPORTING_WM_CHECK=true | |
2024-11-27T14:56:17.990079377+01:00 [INFO] x11: compositor present: true, gtk_frame_extents_supported: true | |
2024-11-27T14:56:17.99426613+01:00 [INFO] Try connect ibus | |
2024-11-27T14:56:17.998786096+01:00 [INFO] perform; |
This file contains hidden or 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
""" | |
force_update_notebook_environment(notebook) | |
Forced update of notebook environment to all newest versions of the packages. | |
`Pluto.update_notebook_environment(notebook)` heeds | |
the compat entries in the Project.toml and thus seems to do nothing. | |
""" | |
function force_update_notebook_environment(notebook) | |
# cache the current environment | |
thisproject=Pkg.project().path |
This file contains hidden or 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
_ | |
_ _ _(_)_ | Documentation: https://docs.julialang.org | |
(_) | (_) (_) | | |
_ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help. | |
| | | | | | |/ _` | | | |
| | |_| | | | (_| | | Version 1.11.0-DEV.1586 (2024-02-13) | |
_/ |\__'_|_|_|\__'_| | Commit 38065a40994 (0 days old master) | |
|__/ | | |
This file contains hidden or 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
### A Pluto.jl notebook ### | |
# v0.19.32 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ a5b79b24-82e3-11ee-3de1-03c823a7e0f8 | |
using PlutoUI | |
# ╔═╡ 819e486d-c27b-4542-8c1d-8740720e8586 |
This file contains hidden or 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
### A Pluto.jl notebook ### | |
# v0.19.29 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ e052cc91-ca85-492d-95e2-6b0c707ac859 | |
begin | |
using Pkg |
This file contains hidden or 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
### A Pluto.jl notebook ### | |
# v0.19.28 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ e052cc91-ca85-492d-95e2-6b0c707ac859 | |
begin | |
import HypertextLiteral: @htl | |
import AbstractPlutoDingetjes.Display: published_to_js |
This file contains hidden or 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
### A Pluto.jl notebook ### | |
# v0.19.16 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ bc8cde90-5593-4f54-ada2-a03cd6e35282 | |
using UUIDs | |
# ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781 |
This file contains hidden or 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
### A Pluto.jl notebook ### | |
# v0.19.11 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781 | |
begin | |
using PlutoUI | |
end |
This file contains hidden or 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
### A Pluto.jl notebook ### | |
# v0.19.3 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ 193f0cae-53a4-48d0-98ed-6eb94aad5712 | |
begin | |
using Distributions | |
using Random |
This file contains hidden or 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
_ | |
_ _ _(_)_ | Documentation: https://docs.julialang.org | |
(_) | (_) (_) | | |
_ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help. | |
| | | | | | |/ _` | | | |
| | |_| | | | (_| | | Version 1.6.5 (2021-12-19) | |
_/ |\__'_|_|_|\__'_| | Official https://julialang.org/ release | |
|__/ | | |
julia> using TriangularSolve |
NewerOlder