ev3dev.github.io icon indicating copy to clipboard operation
ev3dev.github.io copied to clipboard

pretty web page for ev3dev

Results 36 ev3dev.github.io issues
Sort by recently updated
recently updated
newest added

Currently, the `publish.rb` script doesn't work on Windows. As far as I can tell, this is just because of the eval()-ed `grep` call. If we can find an alternative way...

enhancement
chore and maintenance

In the project creation tutorial, we currently instruct the user to open the example post from GitHub, copy the content, and then paste it into a new file. It would...

We currently just hide the search box on smaller screens. We should instead make it usable on a touchscreen.

enhancement

Google's results for some ev3dev-related searches are using titles that end with "Ev3Dev". I'm not sure where it is getting this string from, but I'm worried that it might be...

The search algorithm just looks for the keywords as-is in the titles of pages to find results. It should instead look for partial matches and assign each result some sort...

enhancement

-o PreferredAuthentications=password is necessary if your ssh client is set to try other methods first. We could instead offer this as a response to the error message "Received disconnect from...