diff options
author | Jens John | 2015-07-28 15:50:49 +0200 |
---|---|---|
committer | Jens John | 2015-07-28 15:50:49 +0200 |
commit | 1475ba7270823d182a7aec41d592cc62b34f6239 (patch) | |
tree | fb3bfaf2409abcb8eb7acb76a8f034516ef8ef3e /ctypes_bash_profile.sh | |
download | aur-1475ba7270823d182a7aec41d592cc62b34f6239.tar.gz |
Initial package upload
Diffstat (limited to 'ctypes_bash_profile.sh')
-rw-r--r-- | ctypes_bash_profile.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ctypes_bash_profile.sh b/ctypes_bash_profile.sh new file mode 100644 index 000000000000..5c28f6c4a20a --- /dev/null +++ b/ctypes_bash_profile.sh @@ -0,0 +1,3 @@ +if [ -n "${BASH_VERSION}+1" ]; then + source /usr/bin/ctypes.sh +fi |