Threadscope's gettext.sh file interferes with git on Windows -


when run git commands, i'm noticing strange messages wrt totally unrelated program, namely threadscope, use obtaining information on parallel haskell programs.

 git stash ': not valid identifier/threadscope-0.2.2/bin/gettext.sh: line 90: export: `dashless ': not valid identifier/threadscope-0.2.2/bin/gettext.sh: line 90: export: `usage ': not valid identifier/threadscope-0.2.2/bin/gettext.sh: line 90: export: `stash_msg

i'm not sure causing this. seems benign, bit annoying. seems related program 'gettext.exe' unable find information online on does.

the line 90 in question in gettext.sh is

eval_gettext () {   gettext "$1" | (export path `envsubst --variables "$1"`; envsubst "$1") }

could me getting rid of these messages in right way?

i'm using window 10. installed threadscope downloading binaries https://wiki.haskell.org/threadscope#installing_threadscope , placing them in program files folder.

try setting (for testing) simplified path in cmd session

set path=c:\windows\system32;c:\windows;c:\windows\system32\wbem;c:\windows\system32\windowspowershell\v1.0\ set gh=c:\path\to\git set path=%gh%\bin;%gh%\usr\bin;%gh%\mingw64\bin;%path%  set path=%path%;/path/to/threadscope/bin

meaning: set git first, threadscope in path: see if both running better in new context.


Comments

Post a Comment

Popular posts from this blog

ubuntu - PHP script to find files of certain extensions in a directory, returns populated array when run in browser, but empty array when run from terminal -

i running os ububtu 16.04. ultimate goal able run php script cron job every minute. here php script located @ /var/www/html/tests/test/index.php : <?php $directorypath = $_server['document_root']."/tests/test/data/"; echo "directorypath: $directorypath<br><br>";//check $imagefilepathsarray = glob($directorypath . "*.{png,gif}", glob_brace); echo "<br><br>imagefilepathsarray: "; print_r($imagefilepathsarray);//check ?> when open php script in browser visiting url my-ip-address/tests/test/index.php , get: directorypath: /var/www/html/tests/test/data/ imagefilepathsarray:array( [0] => /var/www/html/tests/test/data/pic.png [1] => /var/www/html/tests/test/data/pic.gif ) before writing cron job in crontab file, need check if can run anywhere using terminal . opened ubuntu terminal @ /home/ location, , executed in terminal: sudo php /var/www/html/tests/test/index.php i got following out...
Read more

php - How can i create a user dashboard -

today have questions you, want create user dashboard site, include (obviously), users data, example -email -username -and others stuff how can information, , print them in html page? if can, how can these information via php sessions? shuld use session? example, if user login, , start new session ( session_start() ), how can data print in dashboard? should use php "project"? in advice, have day , thank time!
Read more

javascript - How to detect toggling of the fullscreen-toolbar in jQuery Mobile? -

i have jquery mobile page fixed full-screen toolbar, data-tap-toggle enabled. straight under toolbar have positioned banner should slide upwards when toolbar hiding , slide downward when toolbar showing. jquery mobile toggles toolbar applying , removing ui-fixed-hidden class - sadly, can't find in documentation of toolbar widget toggle , hide or show event that. how can detect when toolbar toggled, reposition banner? .banner { position: fixed; background-color: darkseagreen; top: 46px; min-height: 48px; width: 100%; text-align: center; line-height: 48px; } <!doctype html> <html> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no"> <link rel="stylesheet" href="https://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.css"> <script src="https://code.jquery.com/jquery-1....
Read more