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
HDF5 "stuff-release.jld2" { | |
GROUP "/" { | |
GROUP "_types" { | |
DATATYPE "00000001" H5T_COMPOUND { | |
H5T_STRING { | |
STRSIZE H5T_VARIABLE; | |
STRPAD H5T_STR_NULLPAD; | |
CSET H5T_CSET_UTF8; | |
CTYPE H5T_C_S1; | |
} "name"; |
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
using JLD2 | |
abstract type AbstractStuffType end | |
struct Stuff1 <: AbstractStuffType end | |
struct Stuff2 <: AbstractStuffType end | |
struct Stuff3 <: AbstractStuffType end | |
const UnionStuff=Union{Type{Stuff1}, Type{Stuff2}, Type{Stuff3}} | |
function runtest() |
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 |
NewerOlder