git reset HEAD^Note: If alrady pushed to remote, the next push will require
--forcefor overwriting
| import { combineLatest, map, Observable, timer } from 'rxjs'; | |
| /** | |
| * Delay at least (RxJS operator) | |
| * | |
| * @param delayInMs Delay in ms | |
| */ | |
| export const delayAtLeast = <T>(delayInMs: number) => { | |
| return (observable: Observable<T>) => { | |
| return combineLatest([timer(delayInMs), observable]).pipe( |
| { | |
| // Support for native ESM (official) | |
| // See <https://nodejs.org/api/packages.html#packages_type> | |
| "type": "module", | |
| // Export map (official) | |
| // See <https://nodejs.org/api/packages.html#packages_subpath_exports> | |
| "exports": { | |
| ".": { |
| Clear-Host | |
| Echo "Keep alive with scroll lock..." | |
| $WShell = New-Object -com "Wscript.Shell" | |
| while ($true) | |
| { | |
| $WShell.sendkeys("{SCROLLLOCK}") | |
| Start-Sleep -Milliseconds 100 | |
| $WShell.sendkeys("{SCROLLLOCK}") | |
| # sleep 29 Minutes | |
| Start-Sleep -Seconds 1740 |
Migration of remote
In your cloned repository:
git checkout mastergit branch -m master maingit push -u origin maindevelop acts as the default branch): In the GitHub project settings, change the default branch from "master" to "main"git push origin --delete masterInstructions
adb from here: https://androidmtk.com/download-minimal-adb-and-fastboot-tooladb connect <IP> (confirm on TV when first time connecting)adb install <path to apk file> (wait until "Success")Apps
| rem see https://github.com/coreybutler/nvm-windows/issues/300 | |
| @echo off | |
| SETLOCAL EnableDelayedExpansion | |
| if [%1] == [] ( | |
| echo Pass in the version you would like to install, or "latest" to install the latest npm version. | |
| ) else ( | |
| set wanted_version=%1 |
| # Switch the timezone on a linux system | |
| # | |
| # I use this to run unit tests on the CI for multiple times with different timezones (at least 2) | |
| # Tested on a node alpine docker container on GitLab CI | |
| # Timezone values: "UTC", "Europe/Berlin", ... | |
| # Fetch timezone data | |
| - apk add tzdata | |
| # Log out number of timeszones (debug) |