From d964079ef8381316d32a19307509dd4a97edd070 Mon Sep 17 00:00:00 2001 From: Andy Fingerhut Date: Sun, 10 May 2020 19:36:25 -0700 Subject: [PATCH] No longer try installing Python grip package (#354) As of 2020-May-09, and probably some months earlier, attempting to install the Python 'grip' package fails on Ubuntu 16.04 systems. This package is not essential for using the P4 open source development tools. --- vm/user-bootstrap.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/vm/user-bootstrap.sh b/vm/user-bootstrap.sh index c2ac21d..1f60da6 100755 --- a/vm/user-bootstrap.sh +++ b/vm/user-bootstrap.sh @@ -117,8 +117,6 @@ sudo pip install crcmod git clone https://github.com/p4lang/tutorials sudo mv tutorials /home/p4 sudo chown -R p4:p4 /home/p4/tutorials -# Install grip for offline markdown rendering -sudo pip install grip # --- Emacs --- # sudo cp p4_16-mode.el /usr/share/emacs/site-lisp/