From 510831dc0f2e329d5fd265d22e1f92724b1c822c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 26 Sep 2023 18:15:20 +0200
Subject: [PATCH] Remove unnecessary sudo
---
.gitlab-ci.yml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0809d06..a2f6a9a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,11 +4,11 @@ build:
variables:
DEBIAN_FRONTEND: noninteractive
before_script:
- - sudo apt-get update
- - sudo apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
+ - apt-get update
+ - apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
- wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz
- tar -xzvf plastex.tar.gz
- - cd plastex-1.0.0 && sudo python setup.py install
+ - cd plastex-1.0.0 && python setup.py install
script:
- cd org.rodinp.handbook.feature
- ant -file customBuild.xml
--
GitLab