Euphoria Ticket #932: search bar doesn't work

opera /usr/share/doc/euphoria/search.html 

If this doesn't work for you, replace opera with the command line name for your browser. Type in some Euphoria command into the search bar and the search functionality does not work.

The work around is to simply decompress the js files. Like so:

sudo gzip -d /usr/share/doc/euphoria/js/*.gz 

Things ought to work out of the box though!

Details

Type: Bug Report Severity: Major Category: Distribution
Assigned To: unknown Status: Fixed Reported Release: 4.0.5
Fixed in SVN #: View VCS: none Milestone: 4.0.6

1. Comment by SDPringle Nov 03, 2015

The resolution is to release 4.0.6 with search already decompressed in the deb package.

Search



Quick Links

User menu

Not signed in.

Misc Menu