Tuesday 6 November 2018

USPTO patent filing

This link worked well for me: https://patentfile.org/filing-provisional-patent-at-uspto/. No account is required. Prepare $280 to pay one-time fee. Don't forget to save all the receipts during the process.

Sunday 28 October 2018

Hyper-V Ubuntu Enhanced Session — actually make it work

The typical situation is that after entering your creds for xorg session you only see a teal screen, and nothing else happens. In short — turn off autologin for your user, and the enhanced sessions will start to work. Oh my had I spent a time searching for a solution, surprisingly found it on youtube: https://www.youtube.com/watch?v=oPHqoLbNTP8. Just watch.

Also check this https://www.frodehus.dev/resize-disk-for-ubuntu-hyper-v-quick-create-image/ for disk sizes. And this: https://www.youtube.com/watch?v=pY9x9wx9mb4 for vm-tools.

Tuesday 9 October 2018

Chrome Plugins 101

1. Print innerHTML every 3 seconds

manifest.json

{
  "manifest_version": 2,
  "name": "Try me",
  "version": "0.3",
  "permissions": [
    "<all_urls>"
  ],
  "content_scripts": [{
    "js": [ "content-script.js" ],
    "all_frames": true,
    "run_at": "document_end",
    "matches": ["<all_urls>"]
  }]
}

content-script.js

window.setInterval(function() {
  alert(document.getElementsByTagName('html')[0].innerHTML);
}, 3000);

It's all about themes

Some tweaks for themes in Chrome.
  1. All themes ever installed: https://chrome.google.com/webstore/user/purchases#themes.
  2. Chrome command line toggles: https://peter.sh/experiments/chromium-command-line-switches/
Old-buttoned (via --force-high-contrast):
  1. All themes by polamjag: https://chrome.google.com/webstore/search/polamjag?_category=themes.
  2. Graphite by GKing.
  3. Material Green by CatBox.
  4. Simple Grey Theme by cartaguez.
  5. Minimalistic by asronline.weebly.com.
  6. Classic Blue (grey navbar).
  7. Light Green.
  8. Windows XP Royale Noir theme by StudioJanck.
  9. Windows XP Zune theme (alternate) by StudioJanck.
New-buttoned:
  1. Serenity by Google Team.
  2. Material Classic Blue by Fiddle N.

Tuesday 27 March 2018

Change an author of the last commit in both origin and remote

Only if it isn't too late ;)

git commit --amend --author "John Doe <john.doe@protonmail.ch>" --no-edit
git push origin <your_branch_name> --force