Skip to main content

ocaml list directory


Goals

The goal with this very simple script is to list a directory and find who is a directory, who is a file.
The secondary goal (for me) is to run it as a script. I dont want to compile it but just run it as I would run bash, Perl or PHP script.

The code

This is how I do it :
#!/usr/bin/ocamlrun /usr/bin/ocaml

#load "unix.cma";;
print_string "Loaded Unix\n";;

let tmp_dir = Unix.opendir "/tmp";;
print_string "opened /tmp\n";;

(* let tmp_dir_files = Unix.readdir tmp_dir;; *)


let print_type a_thing =
  match Sys.is_directory ("/tmp/" ^ a_thing) with
    | true -> print_string ("Dir:\t"   ^  a_thing ^ "/\n")
    | false -> print_string ("File:\t" ^  a_thing ^ "\n");;

print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;
print_type (Unix.readdir tmp_dir);;

print_string "Listed files in  /tmp\n";;



Labels:

Popular posts from this blog

npm run build base-href

Using NPM to specify base-href When building an Angular application, people usually use "ng" and pass arguments to that invocation. Typically, when wanting to hard code "base-href" in "index.html", one will issue: ng build --base-href='https://ngx.rktmb.org/foo' I used to build my angular apps through Bamboo or Jenkins and they have a "npm" plugin. I got the habit to build the application with "npm run build" before deploying it. But the development team once asked me to set the "--base-href='https://ngx.rktmb.org/foo'" parameter. npm run build --base-href='https://ngx.rktmb.org/foo did not set the base href in indext.html After looking for a while, I found https://github.com/angular/angular-cli/issues/13560 where it says: You need to use −− to pass arguments to npm scripts. This did the job! The command to issue is then: npm run build -- --base-href='https://ngx.rktmb.org/foo...
Read more

wget maven ntlm proxy

How to make wget, curl and Maven download behind an NTLM Proxy Working on CentOS, behind an NTLM proxy: yum can deal without problem with a NTLM Proxy wget, curl and Maven cannot The solution is to use " cntlm ". " cntlm " is a NTLM client for proxies requiring NTLM authentication. How it works Install "cntlm" Configure "cntlm"  by giving it your credentials by giving it the NTLM Proxy Start "cntlm" deamon (it listens to "127.0.0.1:3128") Configure wget, curl and Maven to use "cntlm" instead of using directly the NTLM Proxy Note: You will have then a kind of 2 stages Proxy : cntlm + the NTLM proxy Configure CNTLM After installing cntlm, the configuration file is in "cntlm.conf". You must have your domain (in the Windows meaning), proxy login and  proxy password. Mine are respectively: rktmb.org, mihamina, 1234abcd (yes, just for the example) You must have you NTLM Proxy Hostnama or IP ...
Read more

VMWare Keyboard Latency

Workstation VM UI lag when typing When using a VMWare Workstation VM, I noticed there is a latency when typing in the keyboard and the real appearance of the typed character. I searched and found: Noticeable typing lag in Linux VM terminals since v16.2 upgrade on Linux host To make it short, what solved it for me: Disable 3D acceleration in the VM setting .
Read more