From 9d0ce43bd17a97904227b6cb70be0b9fcedd4b86 Mon Sep 17 00:00:00 2001
From: sergiotarxz <sergiotarxz@posteo.net>
Date: Tue, 8 Feb 2022 21:21:23 +0100
Subject: [PATCH] Making the script source .bashrc and have execution
 permission

to work well with crontab.
---
 build.sh | 3 +++
 1 file changed, 3 insertions(+)
 mode change 100644 => 100755 build.sh

diff --git a/build.sh b/build.sh
old mode 100644
new mode 100755
index eefc0a5..493138e
--- a/build.sh
+++ b/build.sh
@@ -1,3 +1,6 @@
+#!/bin/bash
+
+source ~/.bashrc
 cd $(dirname $0)
 pushd aleta
 git fetch