#!/bin/bash

# Courtesy of https://github.com/sosy-lab/benchexec

echo ------------------------
echo "Existing mount points:"
mount
echo ------------------------
echo "Existing users:"
getent passwd
echo ------------------------

PRIMARY_USER="$1"

# Set up cgroups
for i in blkio cpuacct cpuset freezer memory cpu pids; do
  if [ ! -d "/sys/fs/cgroup/$i" ]; then
    mkdir /sys/fs/cgroup/$i
    mount cgroup-$i /sys/fs/cgroup/$i -t cgroup -o $i
  fi
  chgrp "$(id -g "$PRIMARY_USER")" /sys/fs/cgroup/$i
  chmod g+rwx /sys/fs/cgroup/$i
done

echo ------------------------
echo "Now mount points:"
mount

ls -liah /sys/fs/cgroup/