In the exam:
- use
git config --global color.ui auto
- Remember
/opt/agda/agda-stdlib-1.1
(the/opt/agda
path can be derived fromagda-mode locate
) grep --color=always -R "foldr" . | less -r
local ret_status="%(?:%{$fg_bold[green]%}➜ :%{$fg_bold[red]%}➜ )" | |
# You may choose to remove %n@ vv here! | |
PROMPT='%{$fg_bold[green]%}%n@%m:%{$fg[cyan]%} %~%{$reset_color%} $(git_prompt_info) | |
${ret_status}%{$reset_color%}' | |
ZSH_THEME_GIT_PROMPT_PREFIX="%{$fg_bold[blue]%}git:(%{$fg[red]%}" | |
ZSH_THEME_GIT_PROMPT_SUFFIX="%{$reset_color%} " | |
ZSH_THEME_GIT_PROMPT_DIRTY="%{$fg[blue]%}) %{$fg[yellow]%}✗" | |
ZSH_THEME_GIT_PROMPT_CLEAN="%{$fg[blue]%})" |
class Solution: | |
# Suitable ranges for: | |
# - HH is 00 to 23 | |
# - MM is 00 to 59 | |
def num_to_digits(self, n): | |
s = list(map(int, list(str(n)))) | |
if n < 10: | |
return [0, s[0]] | |
return s |
In the exam:
git config --global color.ui auto
/opt/agda/agda-stdlib-1.1
(the /opt/agda
path can be derived from agda-mode locate
)grep --color=always -R "foldr" . | less -r
{ | |
// Use IntelliSense to learn about possible attributes. | |
// Hover to view descriptions of existing attributes. | |
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387 | |
"version": "0.2.0", | |
"configurations": [ | |
{ | |
"name": "build and debug project", | |
"type": "cppdbg", | |
"request": "launch", |
AddReportLog(1003, SString("CInstallManager::_ChangeToAdmin - exit(0) %s", "")); | |
AddReportLog(1041, SString("* Launch * pid:%d '%s' MTASAPath set from %s '%s'", dwProcessId, GetLaunchPathFilename().c_str(), GotPathFrom.c_str(), | |
AddReportLog(1044, SString("* End (0x%X)* pid:%d", iReturnCode, GetCurrentProcessId())); | |
AddReportLog(1060, SString("CInstallManager::Continue - return %s", *strCommandLineOut)); | |
AddReportLog(1061, SString("CInstallManager::RestoreSequencerState %s", *strText)); | |
AddReportLog(1062, SString("GetLauncherPathFilename %s", *strResult)); | |
AddReportLog(1070, SString("CallFunction: %s", *strName)); | |
AddReportLog(2005, SString("DoPollDownload: Downloaded %d bytes from %s", m_JobInfo.downloadBuffer.size(), m_strLastQueryURL.c_str())); | |
AddReportLog(2007, SString("DoPollDownload: Downloaded %s", m_JobInfo.strSaveLocation.c_str())); | |
AddReportLog(2050, SString("_InstallFiles: ok %s", "")); |
This only goes up to 680f14d48c861f012b4864d27d11740123d5d39e
Fixes
This allows you to do Cmd+Shift+X
at any time to trigger a screen lock.
You can actually do this natively by setting up an Automator script, but that won't work in programs that manually bind to that key combination (e.g. Slack, for strikethrough).
(Doing it with Karabiner Elements will override any existing keybind.)
How to install
function onOpen() { | |
var ss = DocumentApp.getUi(); | |
ss.createMenu("qais.jp/cv") | |
.addItem("Deploy this", "actionDeploy") | |
.addToUi(); | |
}; | |
function getPDFFile() { | |
const id = PropertiesService.getScriptProperties().getProperty("pdf"); |
To answer your question, neither remove_block or insert_block alters the pgd
given to it.
So after a bit of reading of the code I think I finally understand why it uses pointers^squared. I hope I haven't overexplained anything but this might help someone. Someone else pls correct me if i'm wrong.
Blocks:
PageDescriptor
is not a block itself, and neither is a PageDescriptor*
. Read on.Page Descriptors:
Page 1: SDP Student Information | |
1. Please provide your university email address. Required | |
Please enter a valid email address. | |
2. Have you done/currently doing the course IVR? Required | |
Yes | |
No | |
3. Briefly describe any internships you have done. (If none write "N.A.") Required |