What do you want to save?
Add Code snippet
New code examples
-
Shell/Bash 2021-08-27 07:38:01
how to delete a commit in git remotely
If you want to delete for example the last 3 commits, run the following command to remove the changes from the file system (working tree) and commit history (index) on your local branch: git reset --hard HEAD~3 Then run the following command (on your loc... Add solution -
Other 2021-08-26 10:52:03
change url by jquery without refresh page
// Current URL: https://my-website.com/page_a const nextURL = 'https://my-website.com/page_b'; const nextTitle = 'My new page title'; const nextState = { additionalInformation: 'Updated the URL with JS' }; // This will create a new entry in the browser's... Add solution -
Shell/Bash 2021-08-26 10:48:02
linux history with time
HISTTIMEFORMAT="%d/%m/%y %T " history Add solution -
Shell/Bash 2021-08-26 10:40:02
grep history in windows
Use doskey in Windows for requesting your command history. For that you first have to create once a storage file in some directory as follows: doskey /history > C:/history.txt Then just use doskey command together with fidstr to filter your history: d... Add solution -
Shell/Bash 2021-08-25 15:10:34
hosting spa on github pages
### Notes on client-side routing: ### GitHub Pages doesn’t support routers that use the HTML5 `pushState` history API under the hood ### (for example, React Router using `browserHistory`). ### This is because when there is a fresh page load for a ... Add solution -