Ok, I tried a different fix. I don't have IE handy write now to test. Please let me know if you're still having problems with this.
Cheers, Patrick On Sunday, April 21, 2013 9:28:12 PM UTC+9, Tom Cato Amundsen wrote: > > On Saturday, April 13, 2013 8:46:07 AM UTC+2, Patrick Kenny wrote: >> >> Should be fixed now, thanks to a very helpful web host. Let me know if >> IE8 is still misbehaving. >> > > IE8 still suggests to save the mnemogogo plugin (and other .plugin files) > as a .zip file, but if I change the "file type" dropbox entry to all files, > I can enter the .plugin extention before I save it. I see the same with > cards, where they don't get the .cards extension by default. I tested this > on another machine running IE10, and the same thing happens. > > This is no big deal for me, since I run linux. But for lots of users, > including a colleague of mine, this make it impossible for them to install > plugins and add users contributed cards. > > Tom Cato > >> >> >> Cheers, >> Patrick >> >> >> On Sat, Apr 13, 2013 at 2:50 PM, Peter Bienstman <[email protected]>wrote: >> >>> Thanks, I'll forward this to Patrick, our webmaster. >>> >>> Cheers, >>> >>> Peter >>> >>> Quoting Tom Cato Amundsen <[email protected]>: >>> >>> Any change you can set the content type for the plugins? When people >>>> download plugins on Windows with IE8 with some security settings, IE >>>> will >>>> rename the .plugin file to .zip. >>>> >>>> http://serverfault.com/**questions/40971/stop-ie8-** >>>> renaming-files-to-zip-when-**downloading<http://serverfault.com/questions/40971/stop-ie8-renaming-files-to-zip-when-downloading> >>>> >>>> Tom Cato >>>> >>> >>> >>> >>> >> -- You received this message because you are subscribed to the Google Groups "mnemosyne-proj-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msg/mnemosyne-proj-users/-/1AdrRw4Hvn0J. For more options, visit https://groups.google.com/groups/opt_out.
