-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1,214 changed files
with
341,275 additions
and
69 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| include LICENSE README.md z3/z3.conf | ||
| include LICENSE README.md zfs3backup/zfs3backup.conf |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,78 @@ | ||
| # This file must be used with "source bin/activate" *from bash* | ||
| # you cannot run it directly | ||
|
|
||
| deactivate () { | ||
| unset -f pydoc >/dev/null 2>&1 | ||
|
|
||
| # reset old environment variables | ||
| # ! [ -z ${VAR+_} ] returns true if VAR is declared at all | ||
| if ! [ -z "${_OLD_VIRTUAL_PATH+_}" ] ; then | ||
| PATH="$_OLD_VIRTUAL_PATH" | ||
| export PATH | ||
| unset _OLD_VIRTUAL_PATH | ||
| fi | ||
| if ! [ -z "${_OLD_VIRTUAL_PYTHONHOME+_}" ] ; then | ||
| PYTHONHOME="$_OLD_VIRTUAL_PYTHONHOME" | ||
| export PYTHONHOME | ||
| unset _OLD_VIRTUAL_PYTHONHOME | ||
| fi | ||
|
|
||
| # This should detect bash and zsh, which have a hash command that must | ||
| # be called to get it to forget past commands. Without forgetting | ||
| # past commands the $PATH changes we made may not be respected | ||
| if [ -n "${BASH-}" ] || [ -n "${ZSH_VERSION-}" ] ; then | ||
| hash -r 2>/dev/null | ||
| fi | ||
|
|
||
| if ! [ -z "${_OLD_VIRTUAL_PS1+_}" ] ; then | ||
| PS1="$_OLD_VIRTUAL_PS1" | ||
| export PS1 | ||
| unset _OLD_VIRTUAL_PS1 | ||
| fi | ||
|
|
||
| unset VIRTUAL_ENV | ||
| if [ ! "${1-}" = "nondestructive" ] ; then | ||
| # Self destruct! | ||
| unset -f deactivate | ||
| fi | ||
| } | ||
|
|
||
| # unset irrelevant variables | ||
| deactivate nondestructive | ||
|
|
||
| VIRTUAL_ENV="/home/marco/workspaces/z3/venv" | ||
| export VIRTUAL_ENV | ||
|
|
||
| _OLD_VIRTUAL_PATH="$PATH" | ||
| PATH="$VIRTUAL_ENV/bin:$PATH" | ||
| export PATH | ||
|
|
||
| # unset PYTHONHOME if set | ||
| if ! [ -z "${PYTHONHOME+_}" ] ; then | ||
| _OLD_VIRTUAL_PYTHONHOME="$PYTHONHOME" | ||
| unset PYTHONHOME | ||
| fi | ||
|
|
||
| if [ -z "${VIRTUAL_ENV_DISABLE_PROMPT-}" ] ; then | ||
| _OLD_VIRTUAL_PS1="$PS1" | ||
| if [ "x" != x ] ; then | ||
| PS1="$PS1" | ||
| else | ||
| PS1="(`basename \"$VIRTUAL_ENV\"`) $PS1" | ||
| fi | ||
| export PS1 | ||
| fi | ||
|
|
||
| # Make sure to unalias pydoc if it's already there | ||
| alias pydoc 2>/dev/null >/dev/null && unalias pydoc | ||
|
|
||
| pydoc () { | ||
| python -m pydoc "$@" | ||
| } | ||
|
|
||
| # This should detect bash and zsh, which have a hash command that must | ||
| # be called to get it to forget past commands. Without forgetting | ||
| # past commands the $PATH changes we made may not be respected | ||
| if [ -n "${BASH-}" ] || [ -n "${ZSH_VERSION-}" ] ; then | ||
| hash -r 2>/dev/null | ||
| fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,36 @@ | ||
| # This file must be used with "source bin/activate.csh" *from csh*. | ||
| # You cannot run it directly. | ||
| # Created by Davide Di Blasi <[email protected]>. | ||
|
|
||
| alias deactivate 'test $?_OLD_VIRTUAL_PATH != 0 && setenv PATH "$_OLD_VIRTUAL_PATH" && unset _OLD_VIRTUAL_PATH; rehash; test $?_OLD_VIRTUAL_PROMPT != 0 && set prompt="$_OLD_VIRTUAL_PROMPT" && unset _OLD_VIRTUAL_PROMPT; unsetenv VIRTUAL_ENV; test "\!:*" != "nondestructive" && unalias deactivate && unalias pydoc' | ||
|
|
||
| # Unset irrelevant variables. | ||
| deactivate nondestructive | ||
|
|
||
| setenv VIRTUAL_ENV "/home/marco/workspaces/z3/venv" | ||
|
|
||
| set _OLD_VIRTUAL_PATH="$PATH" | ||
| setenv PATH "$VIRTUAL_ENV/bin:$PATH" | ||
|
|
||
|
|
||
|
|
||
| if ("" != "") then | ||
| set env_name = "" | ||
| else | ||
| set env_name = `basename "$VIRTUAL_ENV"` | ||
| endif | ||
|
|
||
| # Could be in a non-interactive environment, | ||
| # in which case, $prompt is undefined and we wouldn't | ||
| # care about the prompt anyway. | ||
| if ( $?prompt ) then | ||
| set _OLD_VIRTUAL_PROMPT="$prompt" | ||
| set prompt = "[$env_name] $prompt" | ||
| endif | ||
|
|
||
| unset env_name | ||
|
|
||
| alias pydoc python -m pydoc | ||
|
|
||
| rehash | ||
|
|
Oops, something went wrong.