diff options
| author | Silvino Silva <silvino@bk.ru> | 2018-07-20 19:00:00 +0100 |
|---|---|---|
| committer | Silvino Silva <silvino@bk.ru> | 2018-07-20 19:00:00 +0100 |
| commit | c25612b916735aba72e9efc04b0d3bfe0ad129ab (patch) | |
| tree | f4a7fe7517a23525e20ea6e4774e3f32fefdfa42 /core/bash.html | |
| parent | 23dbb9f081630e60381bf696ef41a8e5045197ad (diff) | |
| download | doc-c25612b916735aba72e9efc04b0d3bfe0ad129ab.tar.gz | |
review core bash profile
Diffstat (limited to 'core/bash.html')
| -rw-r--r-- | core/bash.html | 40 |
1 files changed, 35 insertions, 5 deletions
diff --git a/core/bash.html b/core/bash.html index 8e0c95e..be17c71 100644 --- a/core/bash.html +++ b/core/bash.html @@ -37,11 +37,41 @@ <p>Example of ~/.profile;</p> <pre> - PATH=~/.composer/vendor/bin:${PATH} - - export GPG_AGENT_INFO # the env file does not contain the export statement - export SSH_AUTH_SOCK # enable gpg-agent for ssh - </pre> + export GPG_AGENT_INFO # the env file does not contain the export statement + export SSH_AUTH_SOCK # enable gpg-agent for ssh + + export GPGKEY=XXXXXXXX + + # ssh-agent to ask only ounce for password + SSH_ENV="$HOME/.ssh/environment" + function start_agent { + echo "Initialising new SSH agent..." + /usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}" + echo succeeded + chmod 600 "${SSH_ENV}" + . "${SSH_ENV}" > /dev/null + /usr/bin/ssh-add; + } + + # Source SSH settings, if applicable + if [ -f "${SSH_ENV}" ]; then + . "${SSH_ENV}" > /dev/null + #ps ${SSH_AGENT_PID} doesn't work under cywgin + ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || { + start_agent; + } + else + start_agent; + fi + + # Weston + if test -z "${XDG_RUNTIME_DIR}"; then + export XDG_RUNTIME_DIR=/tmp/${UID}-runtime-dir + if ! test -d "${XDG_RUNTIME_DIR}"; then + mkdir "${XDG_RUNTIME_DIR}" + chmod 0700 "${XDG_RUNTIME_DIR}" + fi +fi </pre> <h2 id="bashrc">2.5.2.2. Bash RC</h2> |