4 ms·
Another, less known, useful thing about these IDs is that you can double click on them and the full id will always be selected
by vikeri 3y ago
Another, less known, useful thing about these IDs is that you can double click on them and the full id will always be selected
- jrockway 3y agoThis is a setting in your terminal emulator. For me, plain UUIDs are selected just fine when double clicking.
- mojuba 3y agoThere's life outside of the terminal. For example you want to double-click on the part of a URL in your browser.
- avarun 3y agoIt's mentioned in the README. "can be selected for copy-pasting by double-clicking"
- Eduard 3y agoAlso, they are safe to use within filenames and directory names (Filesystem paths) without conversion (at least in today's Filesystem not limited to e.g. 8.3 characters) . Compare that with otherwise nice ISO 8601 datetime format (e.g. 2023-06-28T21:47:59+00:00): it requires conversion for file systems that don't allow colons and plus signs.