-#!/bin/bash
+#!/usr/bin/env bash
-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2018. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
fi
}
-colordiff=$(type -p colordiff || true)
+colordiff=$(type -p colordiff || true)
colorless() {
if [ -x "$colordiff" ]; then
"$colordiff" | less -R -F -X