diff options
author | Mohammad Farzan | 2022-01-09 00:00:26 +0330 |
---|---|---|
committer | Mohammad Farzan | 2022-01-09 00:15:06 +0330 |
commit | 8992f21491b1d3e4f4c4618e2c92a8e06b780b70 (patch) | |
tree | 9f5c853646c1d26d88b4f59b367ddd5913165088 | |
parent | cc9ad19ca0273675ca87627b520972f690bf030b (diff) | |
download | aur-8992f21491b1d3e4f4c4618e2c92a8e06b780b70.tar.gz |
Minor cleanup (.gitignore, .install)
-rw-r--r-- | .gitignore | 15 | ||||
-rw-r--r-- | ros2-git.install | 6 |
2 files changed, 17 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index 72e8ffc0db8a..4b0d3083f0c9 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,14 @@ -* +*.tar +*.tar.* +*.jar +*.exe +*.msi +*.zip +*.tgz +*.log +*.log.* +*.sig + +pkg/ +src/ +ros2/ diff --git a/ros2-git.install b/ros2-git.install index febd921ed06e..9e4af97f1c3b 100644 --- a/ros2-git.install +++ b/ros2-git.install @@ -5,14 +5,14 @@ post_install() { export ROS_DOMAIN_ID=42 source /opt/ros2/rolling/setup.bash - + This quick command will do it for you: - + printf \"\\\nexport ROS_DOMAIN_ID=42\\\nsource /opt/ros2/rolling/setup.bash\\\n\" >> ~/.bashrc Note 1: If you use zsh, replace '.bash' in the above lines with '.zsh' and add the lines to ~/.zshrc . - + Note 2: This will slow down terminal startup for a few seconds on cold start, and a fraction of a second for terminals that open later. If you know a better transparent solution, you are welcome to edit |