Here's an example of how to embed a Gist on GitHub Pages:
{% gist 5555251 %}
All you need to do is copy and paste the Gist's ID from the URL (here 5555251
), and add it to a gist
tag surrounded by {%
and %}
.
@ECHO OFF | |
REM This program is free software: you can redistribute it and/or modify | |
REM it under the terms of the GNU General Public License as published by | |
REM the Free Software Foundation, either version 3 of the License, or | |
REM (at your option) any later version. | |
REM | |
REM This program is distributed in the hope that it will be useful, | |
REM but WITHOUT ANY WARRANTY; without even the implied warranty of | |
REM MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
" Place at $XDG_CONFIG_HOME/nvim/init.vim | |
" Assumes neovim (nvim) defaults. | |
" Grouping based on https://neovim.io/doc/user/options.html | |
" 2 moving around, searching and patterns | |
set nostartofline | |
set wrapscan | |
set smartcase | |
" 4 displaying text |
REM http://www.msfn.org/board/topic/119612-how-to-install-a-font-via-the-command-line/ | |
@ECHO OFF | |
TITLE Adding Fonts.. | |
REM Filename: ADD_Fonts.cmd | |
REM Script to ADD TrueType and OpenType Fonts for Windows | |
REM By Islam Adel | |
REM 2012-01-16 | |
REM How to use: |
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: | |
:AppendHex <xReturn> <xInput> | |
:: Append a hexidecimal number to the end of the input. | |
:: 1. Generate Random Number = 0-15 | |
:: 2. Convert Number to Hexidecimal | |
:: 3. Append to Input | |
setlocal | |
set /a "xValue=%RANDOM% %% 16" | |
if "%xValue%"=="10" set "xValue=A" | |
if "%xValue%"=="11" set "xValue=B" |
Windows Registry Editor Version 5.00 | |
; Default color scheme | |
; for Windows command prompt. | |
; Values stored as 00-BB-GG-RR | |
[HKEY_CURRENT_USER\Console] | |
; BLACK DGRAY | |
"ColorTable00"=dword:00000000 | |
"ColorTable08"=dword:00808080 | |
; BLUE LBLUE |
Windows Registry Editor Version 5.00 | |
[HKEY_CURRENT_USER\Console] | |
"ColorTable00"=dword:00000000 | |
"ColorTable01"=dword:00800000 | |
"ColorTable02"=dword:00008000 | |
"ColorTable03"=dword:00808000 | |
"ColorTable04"=dword:00000080 | |
"ColorTable05"=dword:00800080 | |
"ColorTable06"=dword:00008080 |
Here's an example of how to embed a Gist on GitHub Pages:
{% gist 5555251 %}
All you need to do is copy and paste the Gist's ID from the URL (here 5555251
), and add it to a gist
tag surrounded by {%
and %}
.
People
:bowtie: |
😄 :smile: |
😆 :laughing: |
---|---|---|
😊 :blush: |
😃 :smiley: |
:relaxed: |
😏 :smirk: |
😍 :heart_eyes: |
😘 :kissing_heart: |
😚 :kissing_closed_eyes: |
😳 :flushed: |
😌 :relieved: |
😆 :satisfied: |
😁 :grin: |
😉 :wink: |
😜 :stuck_out_tongue_winking_eye: |
😝 :stuck_out_tongue_closed_eyes: |
😀 :grinning: |
😗 :kissing: |
😙 :kissing_smiling_eyes: |
😛 :stuck_out_tongue: |
Rename a git tag old to new:
git tag new old
git tag -d old
git push origin :refs/tags/old
git push --tags
The colon in the push command removes the tag from the remote repository. If you don't do this, git will create the old tag on your machine when you pull.
rem "ping -n 2" the "2" is the number of seconds to delay to changing color, you can edit this | |
rem if the text is not delaying (aka flashing at a rapid rate) then replace "127.0.0.1" with localhost | |
@echo off | |
title Team Devnet's Ranbow Text %time% // %date% | |
:1 | |
cls | |
color 08 | |
echo Hey there! | |
ping -n 2 127.0.0.1 > nul |