IanColdwater

Mute these words in your settings here: https://twitter.com/settings/muted_keywords

ActivityTweet
generic_activity_highlights
generic_activity_momentsbreaking
RankedOrganicTweet
suggest_activity
suggest_activity_feed
suggest_activity_highlights
suggest_activity_tweet

johnbender

// Disable bold. 
term_.prefs_.set('enable-bold', false) 

// Use this for Solarized Dark 
term_.prefs_.set('background-color', "#002b36");
term_.prefs_.set('foreground-color', "#839496");

term_.prefs_.set('color-palette-overrides', [
  '#073642', 
  '#dc322f', 

jorgemanrubia

module DiscourseUsersMerger

  class Merger
    def merge(target_username, source_username)
      raise "User to merge and target user can't be the same" if target_username == source_username
      target_user = User.find_by_username!(target_username)
      source_user = User.find_by_username!(source_username)
      puts "About to merge #{source_username} (#{source_user.email}) into #{target_username} (#{target_user.email})"
      puts "#{source_user.topics.count} topics with #{source_user.posts.count} posts will be moved. Ok to continue? (y/n)"
      continue = STDIN.gets.chomp.downcase == 'y'

sj26

#!/usr/bin/env python

import sys
import socket
import select
import signal

from Debug import dinit, dprint

comjf

// Run in the JavaScript console of the hterm browser window

// Clear all existing settings - you probably don't want to do this.
// Preferences are now stored in "chrome.storage.sync" instead of
// "window.localStorage" so if you clear your preferences the changes
// will be propagated to other devices.
//term_.prefs_.storage.clear();


var htermProfiles = [