Basically, I currently have a column in a MySQL table, which is an int.
I'd like to change that to double. I've searched the web, but all it came up with was conversion upon getting the values from the column (like converting some date to Date), but that's not what I mean.
I'm guessing it's something with Alter Table, and I looked that up on the MySQL dev page, but could not find what I was looking for.
Here's the real syntax. Make sure to set the nullability appropriately too:
or
You're right that you need to use
ALTER TABLE
. The command will look something like this: