This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
GET /packages/archive/00-index.tar.gz HTTP/1.1 | |
Host: hackage.haskell.org | |
User-Agent: cabal-install/1.16.0.2 | |
Creating new connection to hackage.haskell.org | |
Warning: http error: Network.Browser.request: Error raised ErrorParse "Invalid | |
cabal: Char.intToDigit: not a digit -1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
on open location skimmerURL | |
set oldDelims to AppleScript's text item delimiters | |
set newDelims to {"sk://", "#"} | |
set AppleScript's text item delimiters to newDelims | |
set bibKey to item 2 of the text items of skimmerURL | |
set pdfPage to item -1 of the text items of skimmerURL as integer | |
set AppleScript's text item delimiters to oldDelims |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<key>CFBundleURLTypes</key> | |
<array> | |
<dict> | |
<key>CFBundleURLName</key> | |
<string>Skimmer</string> | |
<key>CFBundleURLSchemes</key> | |
<array> | |
<string>sk</string> | |
</array> | |
</dict> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This gets | |
# (i) the file displayed in the front window | |
# (ii) the page number or index of the page displayed. The first page of a | |
# PDF is always 1. | |
# (iii) the page label of the page displayed. Thus the first pages can be | |
# labeled with roman numerals and later pages with arabic numberals. | |
tell application "Skim" | |
set skimFile to the file of the front document | |
set skimPage to the index of the current page of the front document | |
set skimLabel to the label of the current page of the front document |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This gets | |
# (i) the file displayed in the front window | |
# (ii) the page number or index of the page displayed. The first page of a | |
# PDF is always 1. | |
tell application "Skim" | |
set skimFile to the file of the front document | |
set skimPage to the index of the current page of the front document | |
end tell | |
# This gets the citekey for the first reference in Bibdesk whose linked file |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let s:spc = g:airline_symbols.space | |
function! airline#extensions#pandoc#word_count() | |
if mode() == "s" | |
return 0 | |
else | |
let s:old_status = v:statusmsg | |
let position = getpos(".") | |
let s:word_count = 0 | |
exe ":silent normal g\<c-g>" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
tell application "Skim" | |
# Get current dimensions and font size of the currently | |
# selected note. | |
set theDocument to the front document | |
set filePath to the file of theDocument | |
set theNote to the active note of theDocument | |
set theBounds to the bounds of theNote | |
set noteWidth to the (third item of theBounds) - the (first item of theBounds) | |
set noteHeight to the (second item of theBounds) - the (fourth item of theBounds) | |
set theView to the view settings of theDocument |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
tell application "Skim" | |
set theFile to the file of the front document | |
set outText to "" | |
set newLine to ASCII character 10 | |
# Get the relevant bibliographic information for the front PDF in Skim | |
tell application "BibDesk" | |
repeat with currentPub in publications of front document | |
if linked file of currentPub is {} then | |
set bibFile to 0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### McCabe - *Plato's Individuals* ### | |
### 2. Particulars ### | |
Extreme contrast between two different kinds of individuals or unities: forms, "one over many" and particulars "one under many." | |
[Page 25](sk://mccabe94#41) | |
Plato's distrust of the physical world may be ontological or it may be epistemological. Thesis: the latter because the physical world is not self-explanatory. | |
[Page 25](sk://mccabe94#41) |
OlderNewer