posso installare Hoogle utilizzando cabal install hoogle su Windows, tuttavia, quando corro hoogle data da shell MinGW, ho incontrato il seguente errore:dati Hoogle in Windows
$ hoogle data
Extracting tarball...
gzip: ..\hackage-cabal.tar.gz: No such file or directory
hoogle.exe: System command failed: gzip --decompress --force ..\hackage-cabal.ta
r.gz
Come posso installare Hoogle facilmente su Windows?
Assicurati di non avere gzip della versione MinGW o Cygwin nel tuo percorso, se installi la versione di Git di Windows, hai installato MinGW di default, questo farà sì che il tuo gzip si avvii nella directory sbagliata, quindi potresti vedere il errore:
No such file or directory
utilizzare la versione di installazione del binario compatibile con Windows (tutti i binari saranno installati all'interno di una directory di default), e aggiungere il file binario alla variabile finestre percorso.
wget: http://sourceforge.net/projects/gnuwin32/files/wget/1.11.4-1/wget-1.11.4-1-setup.exe/download
gzip: http://sourceforge.net/projects/gnuwin32/files/gzip/1.3.12-1/gzip-1.3.12-1-setup.exe/download
tar: http://sourceforge.net/projects/gnuwin32/files/tar/1.13-1/tar-1.13-1-bin.exe/download
http://gnuwin32.sourceforge.net/packages.html ha tutto il necessario.
La settimana scorsa ci sono passato da solo.
Per chiarire ulteriormente le risposte date, quello che sta succedendo è che Hoogle internamente sta utilizzando percorsi finestre mentre msys sta rendendo più vedere la sua vista del filesystem, con conseguente confusione di Google. Per evitare che ciò accada, accendi PowerShell, la versione di Windows della riga di comando ed esegui i dati di Hoogle da lì. Dovrai avere le versioni GnuWin32 di wget, gzip e tar come menzionato da Sawyer. Una volta generati i dati, potrai utilizzare hoogle da msys senza problemi, anche se in seguito eseguirai nuovamente i dati di Google, dovrai comunque farlo da PowerShell.
Questo è un peccato. I pacchetti dovrebbero essere agnostici del sistema operativo, specialmente per le cose elementari come il download e l'estrazione di file. – drozzy
Inoltre, penso che sia sufficiente inserire le versioni wget/gzip/tar gnu nel percorso AHEAD delle voci del percorso Git. In questo modo puoi continuare a far funzionare il tuo git dalla riga di comando. – drozzy