I have worked with BioModels as an enterprise application for nine years. I don’t remember when deploying times became too slow; it was a nightmare because it took more than…
Category: Software Engineering
Software Engineering | Công nghệ phần mềm | Genie Logiciel
Move a subdirectory into a new git repository
Context In the real world, we may probably have a large Git repository where you want to move out some sub-directories into single Git repositories. Regarding the Git repository, we…
Undo the last commit
As a software engineer or developer, I am pretty sure we often use git in our work on a daily basis. Many commits are committed to your local or remote…
Create or update a commit by a specified author
You may have a situation where a repository is mirrored to multiple remote URLs. One of the URLs is on Bitbucket and the other one is based on GitLab for…
Create an empty commit
When updating a submission, a new revision will be created to capture the updates and a commit will also be created. However, some updates don’t change the files coming alongside the submission but edited some metadata on that submission/dataset. In this case, an empty commit is created to match the newly created version.
Hai cách dùng từ để đặt tên chức năng cho máy lọc nước gia đình
Phân tích Bạn thấy gì qua cách dùng từ để đặt tên chức năng? Để ý vụ này lâu rồi nhưng đến nay mới viết bài này để chia sẻ…
A Comprehensive Introduction to XML Path Language
The term XPath stands for XML Path Language. It is a query language employed for selecting various nodes in the XML document. Why is it called a language? Is this…
An introduction to Selenium with Python
https://selenium-python.readthedocs.io/index.html
Exceptions in a .gitignore file
You can tell Git to ignore some files or directories using a pattern. However, there are some exceptions we don’t want miss files which are matched to the pattern. In…
Add git branch name to bash prompt
By default, git won’t display branch name to terminal prompt. To know which branch you are in, just run git branch command. However, if you want to customise how to…