obar1

https://help.dropbox.com/sync/ignored-files

Set-Content -Path 'C:\Users\yourname\Dropbox(Personal)\YourFileName.pdf' -Stream com.dropbox.ignored -Value 1


or better

PS C:\Users\mario\Dropbox\gcloud_0to100> Set-Content ./.git:com.dropbox.ignored -value 1

> https://www.dropboxforum.com/t5/Apps-and-Installations/Ignoring-a-directory-does-not-work/td-p/679164

obar1

import string


def apply_formatter(mk_format: str):
    formatted_string = ""
    if mk_format in ("header", "plain", "bold", "italic", "inline-code"):
        if mk_format == "header":
            while True:
                header_lvl = int(input("Level:"))
                if 1 <= header_lvl <= 6:

obar1

camel = r"""
Switching on the camera in the camel habitat...
 ___.-''''-.
/___  @    |
',,,,.     |         _.'''''''._
     '     |        /           \
     |     \    _.-'             \
     |      '.-'                  '-.
     |                               ',
     |                                '',

obar1

alias old_branch_delete='git fetch -p && git branch -vv | awk "/: gone]/{print \$1}" | xargs git branch -D'

obar1

For your alias to be insert in commands bash, you need to include that in .bashrc, so take this example and to be happy:

echo alias g=\'git\' >> .bashrc

If you have a success with this command, you can now call git with 'g' command.

Now, if you like alias git, you can create your personal alias file, take this example and edit your file ~ / .gitconfig:

obar1

Relevant steps from the first link:

ref

https://code.tutsplus.com/tutorials/quick-tip-how-to-work-with-github-and-multiple-accounts--net-22574

Generate an SSH-key:

obar1

javascript:(function(){     
	function executeCopy(th, turl) {         
		var input = document.createElement('textarea');         		
		document.body.appendChild(input);     
		input.value = turl.replace(th.concat('//'),'');         
		
		input.select();         
		document.execCommand('Copy');         
		input.remove();     }     

obar1

```
PLAYLIST_URL=https://www.youtube.com/channel/UCLg31aQBp1yRLtoe49jWVEA
youtube-dl --get-id "$PLAYLIST_URL" \
  | xargs -I '{}' -P 10 youtube-dl -f "bestvideo[height>=720]+bestaudio/best"  --format=mp4 -ciw -o "%(upload_date)s-%(title)s.%(ext)s" 'https://youtube.com/watch?v={}'
 ```

obar1

#!/usr/bin/env bash

# This script clones all repos in a GitHub org
# It requires the GH CLI: https://cli.github.com

set -euo pipefail

USAGE="Usage: gh-clone-org <user|org>"

[[ $# -eq 0 ]] && echo >&2 "missing arguments: ${USAGE}" && exit 1

obar1

#!/bin/bash
# tar folder

set -u
set -x

prefix="kb_"
ts=`date +%s`
to_bkp='kb'