externalise in libs: dump_key_buffer and set_system_proxy

lib/display.sh

@@ -90,7 +90,8 @@ export On_IWhite='\e[0;107m'
 # Display status with color and timestamp
 # ($1 accepted values: I=info, W=warning, E=error, m=des espaces (allignement)
 # no header if anything else)
-prnt() {
+prnt()
+{
     case $1 in
         "I")
             local heads="[  ${IGreen}info${DEFAULTFG}   ]"
@@ -115,4 +116,15 @@ prnt() {
 }
 export -f prnt
 
+
+# ------------------------------------------------------------------------------
+# Dump the keyboard's buffer
+dump_key_buffer()
+{
+    while read -r -t 0.001; do
+        :
+    done
+}
+export -f dump_key_buffer
+
 # EOF