Go to github, upper right dropdown -> settings -> developer settings -> personal access tokens. make a new token, which you use as your “password” in jenkins. In jenkins, “manage jenkins” -> (scroll down) manage credentials. Create “username with password”. For username use your github username. Password is token above.
If host is windows 10 (64 bit), go to “Turn windows features on or off” and disable “Windows Hypervisor platform” (and probably “Hyper-V” also)
Windows 7 is so old that its drivers does not support USB 3.0, among other things. So even if you use rufus and a genuine windows 7 iso to create a bootable usb windows 7 installer, it may not work on newer motherboard/hardware. During the install you may run into issue of it asking […]
in .bashrc: #set shift + numberpad to work like windows, e.g. keypad as arrow keys. setxkbmap -option ‘numpad:microsoft’
dconf editor search gnome-session turn on auto-save-session
Workspace: https://cinnamon-spices.linuxmint.com/applets/view/116 Terminal: Use Mate Terminal, since it supports background opacity (default one DOESN’T!)
1. put the following in wp-blog-header.php to suppress warnings rendered on page ini_set(‘error_reporting’, E_ALL & ~E_NOTICE & ~E_STRICT & ~E_DEPRECATED); 2. google anlytics 3. google ads, e.g. create channels, ad units, and put in wks.php. Update theme’s php files (e.g. sidebar.php, single.php, page.php, index.php) 4. google webmaster 5. install plugins: iframe, og, Amazon Product In […]
Make home/end, arrow keys work with shift (e.g. shift doesn’t turn arrow/home/end into numbers) In /etc/default/keyboard put XKBOPTIONS=”numpad:microsoft”
If safari (and other apps like adium) don’t work, but chrome still works, try: $ sudo launchctl stop com.apple.networkd $ sudo launchctl start com.apple.networkd
Quick way to for each directory in current folder to show its name, then # of inodes under it: find -type d -maxdepth 1 -exec sh -c “echo {}; ls -Ria {} | sed -e ‘s/^ *//’ -e ‘s/ .*//’ -e ‘/^$/d’ -e ‘/^\./d’ | sort -u | wc -l; ” \; For example, […]