- https://github.com/Benjamin-Loison
- Joined on
2022-10-16
Block a user
~/db/sessions/[0-9a-f]{32}
purpose?
Could move it and see if a software complains and potentially see when it is recreated.
List references to a given anchor
*This document contains images stored in an inefficient way.*
Is dictionnary document specific (i.e. shared) or user specific or document and user specific?
Correcteur orthographique can be disabled in addition to selecting a given language.
Maybe more recent Overleaf instances give access to the dictionary.
Is dictionnary document specific (i.e. shared) or user specific or document and user specific?
Unminimized Bash script when load webpage:
curl 'https://plmlatex.math.cnrs.fr/spelling/check' -X POST -H 'User-Agent: Mozilla/5.0 (X11; Linux x86_64;…
Is dictionnary document specific (i.e. shared) or user specific or document and user specific?
Unminimized Bash script to add a word:
curl 'https://plmlatex.math.cnrs.fr/spelling/learn' -X POST -H 'User-Agent: Mozilla/5.0 (X11; Linux x86_64;…
*Anchor name cannot contain space characters*
Is dictionnary document specific (i.e. shared) or user specific or document and user specific?
How to export/import the dictionary?
Is dictionnary document specific (i.e. shared) or user specific or document and user specific?
I tested and even after a webpage refresh from the other account it seems user specific.
See how much the computer is being used but without specific program precision
For reference: usage.
Listen to FM Radio
emulator
-radio
may help, see Benjamin-Loison/android/issues/80#issuecomment-2786142963.
Share files/folders with another computer through USB or Ethernet
Avahi daemon may help to not have 2 DHCP clients according to the person:
-----BEGIN PGP MESSAGE-----
hF4DTQa9Wom5MBgSAQdAQ9DA79d3TCuvY+3iACYKZ3nN138BBXPPKh…
Share files/folders with another computer through USB or Ethernet
Related to Benjamin_Loison/openssh/issues/63.
Share files/folders with another computer through USB or Ethernet
The issue with using the Livebox is that it requires the latter and an additional Ethernet cable.
Share files/folders with another computer through USB or Ethernet
I asked someone, see the message:
-----BEGIN PGP MESSAGE-----
hF4DTQa9Wom5MBgSAQdAyfP0odKa7bR34/tXrtIFvRG5ZanXfhJh0V2eRYnp320w
YnBfeaMQiPky3PGoG1du8hxN6Af3…