[GRASS-user] install grass via repo

[patrick_s]

Dear List

I want to update GRASS 7.2.1. in Ubuntu 17.10, to a newer version of 
GRASS, because of the bug in v.in.ogr 
(http://osgeo-org.1560.x6.nabble.com/error-in-v-in-ogr-with-null-values-td5331541.html). 
Following https://grass.osgeo.org/download/software/linux/:#

# 1.b) Users of non-LTS release (like Ubuntu 17.10): Add GRASS Stable PPA
sudo add-apt-repository ppa:grass/grass-stable

# 2. Then update cache and install GRASS GIS
sudo apt-get update
sudo apt-get install grass

I get the folliowing error:

E: The repository 'http://ppa.launchpad.net/grass/grass-stable/ubuntu artful Release' does not have a Release file.
N: Updating from such a repository can't be done securely, and is therefore disabled by default.
N: See apt-secure(8) manpage for repository creation and user configuration details.


Can you help? Patrick