From 98acb27bfef531045e1a2f28c6706b81d3eca388 Mon Sep 17 00:00:00 2001 From: Stephen Gaito Date: Sat, 20 Jun 2020 10:31:35 +0100 Subject: [PATCH] begun to explicitly name apt and ubuntu buildScripts --- buildScripts/{buildInstallLocally => buildInstallLocallyApt} | 4 ++-- buildScripts/{getBuildTools => getBuildToolsApt} | 0 buildScripts/{getDevLibraries => getDevLibrariesApt} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename buildScripts/{buildInstallLocally => buildInstallLocallyApt} (94%) rename buildScripts/{getBuildTools => getBuildToolsApt} (100%) rename buildScripts/{getDevLibraries => getDevLibrariesApt} (100%) diff --git a/buildScripts/buildInstallLocally b/buildScripts/buildInstallLocallyApt similarity index 94% rename from buildScripts/buildInstallLocally rename to buildScripts/buildInstallLocallyApt index 000dd6b..2dcded2 100755 --- a/buildScripts/buildInstallLocally +++ b/buildScripts/buildInstallLocallyApt @@ -32,9 +32,9 @@ set -ev ./buildScripts/reportEnvs -./buildScripts/getBuildTools +./buildScripts/getBuildToolsApt -./buildScripts/getDevLibraries +./buildScripts/getDevLibrariesApt ./buildScripts/getPoppler diff --git a/buildScripts/getBuildTools b/buildScripts/getBuildToolsApt similarity index 100% rename from buildScripts/getBuildTools rename to buildScripts/getBuildToolsApt diff --git a/buildScripts/getDevLibraries b/buildScripts/getDevLibrariesApt similarity index 100% rename from buildScripts/getDevLibraries rename to buildScripts/getDevLibrariesApt