Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change references from MySQL to MariaDB #220

Closed
wants to merge 4 commits into from
Closed

Change references from MySQL to MariaDB #220

wants to merge 4 commits into from

Conversation

sameshl
Copy link

@sameshl sameshl commented Oct 6, 2019

  • If you added a new item or changed the localization: Did you run c:\Python27\python _scripts\automate.py update -e?

made appropriate changes for the transition from MySQL to MariaDB.
closes #201

@matthiasgeiger
Copy link
Member

Thanks for your effort so far!

However, @JabRef/developers am I right, that Maria DB is only an additional option an not an replacement for MySQL? As I'm not using the shared DB connection I'm not quite sure - but that is my understanding of JabRef/jabref#4746.

@koppor
Copy link
Member

koppor commented Oct 6, 2019

JabRef works with both MySQL and MariaDB.

@sameshl Please keep the quality of the updated help page. Is is good that you provide a list of MariaDB hostings. However, as reader, I cannot see which one it is --> Is there any free (!) MariaDB hosting service? Can you list it?

I am not sure why MariaDB is required "at least version 2.4.0"? The homepage of MaridaDB does not list versions older than 5.1 (see https://mariadb.com/kb/en/library/mariadb-server-52/) Where did you get 2.4.0 from? How did you try it?

@koppor koppor added the invalid label Oct 6, 2019
@koppor
Copy link
Member

koppor commented Oct 6, 2019

I will flag the PR as "invalid" until the issues are resolved.

@sameshl
Copy link
Author

sameshl commented Oct 7, 2019

I am sorry for not keeping up the standard of the help page. I will make sure I make proper amendments so I correct it.

Is is good that you provide a list of MariaDB hostings. However, as reader, I cannot see which one it is --> Is there any free (!) MariaDB hosting service? Can you list it?

The thing is I have not used MariaDB so I didn't know which to suggest. So I thought the best might be link to their official page regarding the same. If you know any free service, please let me know. That would be appreciated.

I am not sure why MariaDB is required "at least version 2.4.0"? The homepage of MaridaDB does not list versions older than 5.1 (see https://mariadb.com/kb/en/library/mariadb-server-52/) Where did you get 2.4.0 from? How did you try it?

The thing is I saw it from this https://github.com/JabRef/jabref/pull/4746/files#diff-c197962302397baf3a4cc36463dce5eaR118 and probably got confused the version of MariaDB connector and MariaDB. My bad.

@koppor
Copy link
Member

koppor commented Oct 7, 2019

So this is a great opportunity to start with MariaDB 👍. With your research, the whole community can benefit!

@koppor
Copy link
Member

koppor commented Nov 4, 2019

No updates on this. What a pity. I hope, you enjoyed #hacktoberfest nevertheless.

@koppor koppor closed this Nov 4, 2019
gitbook-com bot pushed a commit that referenced this pull request Jan 26, 2022
…dialog directly inside the preferences (#8341)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Mention MariaDB as well as MySQL
3 participants