#!/bin/sh
# Workaround for a bug on wofi
source terminal