HINT: these don't mess with the clipboard or the undo history
- Copy the following snippet into
/Applications/Xcode.app/Contents/Frameworks/IDEKit.framework/Versions/A/Resources/IDETextKeyBindingSet.plist
#!/bin/bash | |
# script to switch between splice users | |
# get currently logged in user | |
current_username=`security find-generic-password -s "Digital Creations Inc:Splice:credentials" 2> /dev/null | grep -o 'acct.*' | cut -f3- -d\" | rev | cut -c 2- | rev` | |
current_token=`security find-generic-password -s "Digital Creations Inc:Splice:credentials" -w 2> /dev/null` | |
# get saved switcher accounts | |
saved_username=`security find-generic-password -a "saved-user" -s "splice-account-switcher" 2> /dev/null | grep -o 'acct.*' | cut -f3- -d\" | rev | cut -c 2- | rev` | |
saved_token=`security find-generic-password -s "splice-account-switcher" -w 2> /dev/null` |
# make editable by group | |
sudo chmod -R 775 /var/www/html | |
# add myself to group www-data (apache default group) | |
sudo usermod -a -G www-data ${USER} |
#!/bin/bash | |
# Author: Daniel Rotärmel | |
du -sh ~/Library/Developer/Xcode | |
du -sh /Applications/Xcode.app | |
#du -sh ~/Library/Developer/Xcode/iOS\ DeviceSupport/ 2> /dev/null | |
#du -sh ~/Library/Developer/CoreSimulator/Devices/ 2> /dev/null | |
#du -sh /Applications/Xcode.app/Contents/Developer/Platforms/AppleTV* 2> /dev/null |
// ==UserScript== | |
// @name PiPer Shortcut | |
// @description This is your new userscript, start writing code | |
// @match *://*.* | |
// ==/UserScript== | |
document.onkeyup = function(e) { | |
// console.log(e) | |
// ctrl + p | |
if (e.ctrlKey && e.key == "p") { |
-- Author: Daniel Rotärmel | |
tell application "System Events" | |
if exists (window 1 of process "PIPAgent") then | |
click button 1 of (window 1 of process "PIPAgent") | |
end if | |
end tell |
// anonymous async function | |
(async () => { | |
console.log("use await here!"); | |
})() |
/* shadow below adjacent elements */ | |
.shadowBelow { | |
position: relative; | |
} | |
.shadowBelow:before { | |
content: ""; | |
position: absolute; | |
top: 0; | |
bottom: 0; |
// ==UserScript== | |
// @name Google Dynamic Dark Mode | |
// @description dynamically set dark/light mode on google according to os settings | |
// @author Daniel Rotaermel | |
// @match *://*google.com* | |
// ==/UserScript== | |
let shouldUseDarkmode = window.matchMedia('(prefers-color-scheme: dark)') | |
.matches; |