Skip to main content

ocaml list directory


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";;


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='' 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=''" parameter. npm run build --base-href=' did not set the base href in indext.html After looking for a while, I found 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='

dockerfile multiline to file

Outputing a multiline string from Dockerfile I motsly use a Dockerfile by sourcing from a base ditribution: CentOS or Debian. But I also have a local mirror and would like to use it for packages installation. Espacially on CentOS it is about many lines to write to the /etc/yum.repos.d/CentOS-Base.repo file. Easiest way: one RUN per line The first method that comes in mind is to issue one RUN per line to write. Here you are: RUN echo "[base] " > /etc/yum.repos.d/CentOS-Base.repo RUN echo "name=CentOS-$releasever - Base " >> /etc/yum.repos.d/CentOS-Base.repo RUN echo "baseurl= " >> /etc/yum.repos.d/CentOS-Base.repo RUN echo "gpgcheck=0 &quo

Gnome VNC Grey Checkboxes

When setting up VNC server in Gnome, I get a grey screen (or a black one) and the checkboxes to "Accept clipboard from viewers", "Send clipboard to viewers", "Send primary selection to viewers". I'm setting up a VNC server on a Debian 10 machine that has Gnome environment. A zillion articles can be found on Internet, they have the same global path: Install Gnome and GDM Install TigerVNC Setup the VNC Server: password + startup Run the server Connect from the client One of them is this TeknoTut how-to I took inspiration from. The tutorial is good, but I needed to complete it with extra steps in order to make it work: If the current user has already a running Gnome session, I just get the "grey screen with the checkboxes". It is good to know that: The "grey screen" is due to the "xsetroot" command that can be seen in some howtos The checkboxes are due to the "vncconfig -iconic &" command