From 3edbc6d1f70b0a642c07d056d3ecc2c215731665 Mon Sep 17 00:00:00 2001 From: Simon Sobisch Date: Thu, 31 Oct 2024 12:43:32 +0100 Subject: [PATCH] Update .gitpod.yml adjust gitpod config for current version --- .gitpod.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitpod.yml b/.gitpod.yml index ee365640a..21a39fabe 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -3,17 +3,17 @@ image: gitpod/workspace-c tasks: -- name: setup coding environment on Ubuntu 20.04 +- name: setup coding environment on Ubuntu 22.04 before: | # note: sadly we need this to be done every time as only /workspace is kept, but linked # against those dependencies; and also we do want to recompile after adjustments # this can all be dropped as soon as we would use a prepared docker sudo apt update && sudo apt upgrade -y sudo apt install -y build-essential libgmp-dev libdb-dev libjson-c-dev ncurses-dev libxml2-dev \ - automake libtool flex bison help2man texinfo \ + automake libtool flex bison help2man gettext texinfo \ lcov \ clangd bear - # sudo apt install gettext texlive-base # for make dist (po/*, doc/gnucobol.pdf) + # sudo apt install texlive-base # for make dist (doc/gnucobol.pdf) gp sync-done system-prepare - name: building GnuCOBOL