n-peugnet
Follow
♻️
doing something
I love learning new things and make stuff and also bicycles.
- Paris
-
22:35
(UTC +01:00) - https://nicolas.club1.fr
Pinned Loading
-
image-map-creator
image-map-creator PublicA javascript tool to create image map that you can export in HTML or SVG
-
-
club-1/webdav-drive
club-1/webdav-drive PublicWebDAV Drive is a file explorer running in a web browser that adds a Google-Drive-like experience to an existing WebDAV share
-
-
simple trick to add dates in bash pr...
simple trick to add dates in bash prompt 1# Add dates to bash prompt
23I think I just found the easiest and cleanest way to add _precise_ dates to my bash prompt:
45PS0=">>> \$(date +%T.%3N)\\n$PS0"
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.