+1 -1

dune-project

reviewed

··· 21 21 ptime 22 22 requests 23 23 tomlt 24 24 - nox-xdge 24 24 + nox-xdg 25 25 uri 26 26 eio 27 27 logs

+1 -1

examples/dune

reviewed

··· 14 14 matrix.proto 15 15 eio_main 16 16 uri 17 17 - nox-xdge 17 17 + nox-xdg.eio 18 18 ptime.clock.os 19 19 cmdliner))

+1 -1

examples/omatrix.ml

reviewed

··· 42 42 (** Get XDG directories for session storage *) 43 43 let with_xdg ~env f = 44 44 let fs = Eio.Stdenv.fs env in 45 45 - let xdg = Xdge.v fs "matrix" in 45 45 + let xdg = Xdg_eio.v fs "matrix" in 46 46 f xdg 47 47 48 48 (** Load a stored session, returning the store and session data *)

+1 -1

lib/matrix_client/dune

reviewed

··· 7 7 nox-json 8 8 tomlt 9 9 tomlt.eio 10 10 - nox-xdge 10 10 + nox-xdg.eio 11 11 eio 12 12 ptime 13 13 base64

+2 -2

lib/matrix_client/session.ml

reviewed

··· 1 1 (** Session persistence for Matrix clients. 2 2 3 3 Implementation using tomlt for TOML serialization and 4 4 - xdge for XDG directory management. *) 4 4 + nox-xdg for XDG directory management. *) 5 5 6 6 module Ed25519 = Crypto_ec.Ed25519 7 7 module X25519 = Crypto_ec.X25519 ··· 804 804 } 805 805 806 806 let create ~xdg ~profile = 807 807 - let data_dir = Xdge.data_dir xdg in 807 807 + let data_dir = Xdg_eio.data_dir xdg in 808 808 let profile_path = Eio.Path.(data_dir / "profiles" / profile) in 809 809 (* Ensure directory exists *) 810 810 Eio.Path.mkdirs ~exists_ok:true ~perm:0o700 profile_path;

+2 -2

lib/matrix_client/session.mli

reviewed

··· 239 239 module Store : sig 240 240 type t 241 241 242 242 - (** Create a session store for the given profile using xdge. 242 242 + (** Create a session store for the given profile. 243 243 Creates the profile directory if it doesn't exist. *) 244 244 - val create : xdg:Xdge.t -> profile:string -> t 244 244 + val create : xdg:Xdg_eio.t -> profile:string -> t 245 245 246 246 (** Get the profile directory path. *) 247 247 val profile_dir : t -> Eio.Fs.dir_ty Eio.Path.t

+1 -1

matrix.opam

reviewed

··· 15 15 "ptime" 16 16 "requests" 17 17 "tomlt" 18 18 - "nox-xdge" 18 18 + "nox-xdg" 19 19 "uri" 20 20 "eio" 21 21 "logs"