$ set|grep BASH BASH=/bin/bash BASHOPTS=cmdhist:complete_fullquote:expand_aliases:extquote:force_fignore:hostcomplete:interactive_comments:login_shell:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=() BASH_SOURCE=() BASH_VERSINFO=([0]="4" [1]="4" [2]="12" [3]="3" [4]="release" [5]="x86_64-unknown-cygwin") BASH_VERSION='4.4.12(3)-release' CYG_SYS_BASHRC=1 $ env USERDOMAIN=DESKTOP-P41QQCN OS=Windows_NT COMMONPROGRAMFILES=C:\Program Files\Common Files PROCESSOR_LEVEL=6 PSModulePath=C:\Program Files\WindowsPowerShell\Modules;C:\Windows\system32\WindowsPowerShell\v1.0\Modules CommonProgramW6432=C:\Program Files\Common Files CommonProgramFiles(x86)=C:\Program Files (x86)\Common Files LANG=en_US.UTF-8 TZ=Europe/Warsaw HOSTNAME=DESKTOP-P41QQCN PUBLIC=C:\Users\Public OLDPWD=/home/Kuba USERNAME=Kuba LOGONSERVER=\\DESKTOP-P41QQCN PROCESSOR_ARCHITECTURE=AMD64 LOCALAPPDATA=C:\Users\Kuba\AppData\Local COMPUTERNAME=DESKTOP-P41QQCN FPS_BROWSER_APP_PROFILE_STRING=Internet Explorer USER=Kuba !::=::\ SYSTEMDRIVE=C: USERPROFILE=C:\Users\Kuba PATHEXT=.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC SYSTEMROOT=C:\Windows USERDOMAIN_ROAMINGPROFILE=DESKTOP-P41QQCN PROCESSOR_IDENTIFIER=Intel64 Family 6 Model 142 Stepping 10, GenuineIntel PWD=/home/Kuba/sage/local/var/tmp/sage/build/ecl-16.1.2.p5 HOME=/home/Kuba TMP=/tmp SHELLOPTS=braceexpand:emacs:hashall:histexpand:history:igncr:interactive-comments:monitor OneDrive=C:\Users\Kuba\OneDrive PROCESSOR_REVISION=8e0a FPS_BROWSER_USER_PROFILE_STRING=Default SAGE_KEEP_BUILT_SPKGS=yes PROFILEREAD=true NUMBER_OF_PROCESSORS=8 ProgramW6432=C:\Program Files COMSPEC=C:\Windows\system32\cmd.exe APPDATA=C:\Users\Kuba\AppData\Roaming SHELL=/bin/bash TERM=xterm WINDIR=C:\Windows ProgramData=C:\ProgramData SHLVL=1 MINTTY_SHORTCUT=/cygdrive/c/Users/Public/Desktop/Cygwin64 Terminal.lnk PRINTER=Lexmark X1100 Series PROGRAMFILES=C:\Program Files PyCharm=C:\Program Files\JetBrains\PyCharm 2019.2.3\bin; ALLUSERSPROFILE=C:\ProgramData TEMP=/tmp DriverData=C:\Windows\System32\Drivers\DriverData SESSIONNAME=Console ProgramFiles(x86)=C:\Program Files (x86) PATH=/usr/local/bin:/usr/bin:/cygdrive/c/Windows/system32:/cygdrive/c/Windows:/cygdrive/c/Windows/System32/Wbem:/cygdrive/c/Windows/System32/WindowsPowerShell/v1.0:/cygdrive/c/Windows/System32/OpenSSH:/cygdrive/c/Program Files/Git/cmd:/cygdrive/c/Program Files (x86)/Common Files/Ulead Systems/MPEG:/cygdrive/c/Toolsy/sqlite:/cygdrive/c/Program Files/TortoiseGit/bin:/cygdrive/c/Program Files/dotnet:/cygdrive/c/Users/Kuba/AppData/Local/Programs/Python/Python36/Scripts:/cygdrive/c/Users/Kuba/AppData/Local/Programs/Python/Python36:/cygdrive/c/Users/Kuba/AppData/Local/Microsoft/WindowsApps:/cygdrive/c/Program Files/JetBrains/PyCharm 2019.2.3/bin:/cygdrive/c/Program Files/Java/jdk-13/bin:/cygdrive/c/poppler-0.67.0/bin:/usr/lib/lapack PS1=\[\e]0;\w\a\]\n\[\e[32m\]\u@\h \[\e[33m\]\w\[\e[0m\]\n\$ HOMEDRIVE=C: INFOPATH=/usr/local/info:/usr/share/info:/usr/info HOMEPATH=\Users\Kuba ORIGINAL_PATH=/cygdrive/c/Windows/system32:/cygdrive/c/Windows:/cygdrive/c/Windows/System32/Wbem:/cygdrive/c/Windows/System32/WindowsPowerShell/v1.0:/cygdrive/c/Windows/System32/OpenSSH:/cygdrive/c/Program Files/Git/cmd:/cygdrive/c/Program Files (x86)/Common Files/Ulead Systems/MPEG:/cygdrive/c/Toolsy/sqlite:/cygdrive/c/Program Files/TortoiseGit/bin:/cygdrive/c/Program Files/dotnet:/cygdrive/c/Users/Kuba/AppData/Local/Programs/Python/Python36/Scripts:/cygdrive/c/Users/Kuba/AppData/Local/Programs/Python/Python36:/cygdrive/c/Users/Kuba/AppData/Local/Microsoft/WindowsApps:/cygdrive/c/Program Files/JetBrains/PyCharm 2019.2.3/bin:/cygdrive/c/Program Files/Java/jdk-13/bin:/cygdrive/c/poppler-0.67.0/bin EXECIGNORE=*.dll _=/usr/bin/env
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/2a65ca72-55aa-4631-b7ec-07427d1d7b3f%40googlegroups.com.
