From 05f37a8b5e4aeb1f0c12451e610812d06e6fb52e Mon Sep 17 00:00:00 2001 From: Tran Hau Date: Wed, 20 May 2020 02:34:57 +0700 Subject: [PATCH] small --- Development/antlr4.md | 4 ++-- install-archlinux.md | 10 ++++------ 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/Development/antlr4.md b/Development/antlr4.md index 276f47f..e154269 100644 --- a/Development/antlr4.md +++ b/Development/antlr4.md @@ -5,8 +5,6 @@ | Archlinux | `antlr4` | | Ubuntu | `antlr4` | -Read [Getting Started with ANTLR v4](https://github.com/antlr/antlr4/blob/master/doc/getting-started.md). - Add to `~/.bashrc`: ```bash @@ -17,6 +15,8 @@ export classpath=".:/usr/share/java/antlr-complete.jar:$classpath" export classpath=".:/usr/share/java/antlr4.jar:$classpath" ``` +Read [Getting Started with ANTLR v4](https://github.com/antlr/antlr4/blob/master/doc/getting-started.md). + Sample `Condition.g4`: ```antlr4 diff --git a/install-archlinux.md b/install-archlinux.md index a86b4a3..8bf4fed 100644 --- a/install-archlinux.md +++ b/install-archlinux.md @@ -89,12 +89,10 @@ Install [GNOME](https://wiki.archlinux.org/index.php/GNOME): pacman -Syu \ gnome-shell \ gdm \ - networkmanager \ - gnome-keyring \ - gnome-control-center \ - gnome-tweak-tool \ - nautilus \ - xdg-user-dirs-gtk \ + networkmanager gnome-keyring \ + gnome-control-center gnome-tweak-tool \ + nautilus xdg-user-dirs-gtk \ + file-roller p7zip unrar \ gnome-terminal \ gnome-backgrounds \ gnome-screenshot \