It is very simple to get the locally deleted file in a git repository. Make sure that you are not committed any changes.
Suppose you deleted the file: myfolder/my_deleted_file.txtÂ accidentally and you want to retrieve the file from the server.
Execute the following command:
git checkout myfolder/my_deleted_file.txt
That’s it. Your file is now restored to the folder.
While writing mysql statements in your procedure, you may notice that the workbench will give you a syntax error warning when you states an error free delete statement as below:
DELETE FROM table_name WHERE column_name = value;
The solution is simple, you have to split your statement in two lines. I was not able to find any document which specifies this scenario, but on every document, the delete statements are split into two lines. So the previous statement can be inserted to your procedure as:
DELETE FROM table_name
WHERE column_name = value;
Hope you enjoyed this tip. Please give you feedback as comments below.