diff options
| author | vlad | 2015-08-31 01:57:19 +0300 |
|---|---|---|
| committer | vlad | 2015-08-31 01:57:19 +0300 |
| commit | dc838c39b3d90cab2193462c7a35deef1293e98b (patch) | |
| tree | 615301d6b8df37a42c87b8da7d55c410bfc0b1d6 /servo-git.install | |
| parent | ac201a60dfe9c6e3b2524d9d8cb166d9c5ede915 (diff) | |
| download | aur-dc838c39b3d90cab2193462c7a35deef1293e98b.tar.gz | |
move to opt, add resources
Diffstat (limited to 'servo-git.install')
| -rw-r--r-- | servo-git.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/servo-git.install b/servo-git.install new file mode 100644 index 000000000000..654977177cfb --- /dev/null +++ b/servo-git.install @@ -0,0 +1,3 @@ +post_install() { + echo You need to source /etc/profile or relogin to add Servo to your path. +} |