This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
type filter = | |
| Lenght of int | |
| Contain of char * int option | |
| NotContain of char * int option | |
(** Represent a decision rule *) | |
let format_filter : Format.formatter -> filter -> unit = | |
fun formatter f -> | |
match f with | |
| Lenght l -> Format.fprintf formatter "Doit etre de longueur %d" l |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
if [ -z $1 ]; then | |
sqlite3 ~/.mozilla/firefox/${profile}/places.sqlite 'SELECT url from moz_places order by frecency desc' | grep -vE "google.com/search|google.com/url|duckduckgo" | |
else | |
i3-msg "exec firejail firefox --new-tab \"$*\"" > /dev/null | |
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let pipe_request | |
?socket | |
?headers ?(https=false) ?port ~content ?content_length | |
~http_method ~host ~inet_addr ~uri () = | |
let port = match port with | |
| None -> if https then 443 else 80 | |
| Some p -> p | |
in | |
let sockaddr = Unix.ADDR_INET (inet_addr, port) in |