From 86041425d195b3b593dcf54e31a13ef48a4780a1 Mon Sep 17 00:00:00 2001 From: Severin Kaderli Date: Mon, 9 Sep 2019 17:14:59 +0200 Subject: [PATCH] Fix dde alias Signed-off-by: Severin Kaderli --- system/.config/custom/aliases | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/system/.config/custom/aliases b/system/.config/custom/aliases index bc4ff91..2d39bae 100644 --- a/system/.config/custom/aliases +++ b/system/.config/custom/aliases @@ -44,6 +44,6 @@ fi alias e="code" # Work aliases -if [ -d "${HOME}/work/tools/dde" ]; then - alias dde='make -f "${HOME}/work/tools/dde/Makefile"' +if [ -d "${HOME}/dev/work/tools/dde" ]; then + alias dde='make -f "${HOME}/dev/work/tools/dde/Makefile"' fi \ No newline at end of file