I need very often to modify filenames or replace/delete their parts across huge number of files. I was using sed command for these purposes but recently I have found out that all these tasks can be easily done directly in bash (or zsh) because both of them support so called string manipulation operations.
Define some example string:
$ file=some_file_name.txt
| package main | |
| import ( | |
| "math/rand" | |
| "net/url" | |
| "os" | |
| "time" | |
| "github.com/ChimeraCoder/anaconda" | |
| "github.com/Sirupsen/logrus" |
| // Define WebSocket using ws library | |
| const WebSocket = require('ws'); | |
| // Initialise wss as a new Websocket Server running in port 8989 | |
| const wss = new WebSocket.Server({ port: 8989 }); | |
| // Array of users currently logged in. Serves as the Database. | |
| var users = []; | |
| // This is the code that will run on the server when a new client is connected to |
Native HTML controls are a challenge to style. You can style any element in the web platform that uses Shadow DOM with a pseudo element ::pseudo-element or the /deep/ path selector.
video::webkit-media-controls-timeline {
background-color: lime;
}
video /deep/ input[type=range] {
| /*================================================== | |
| = Bootstrap 3 Media Queries = | |
| ==================================================*/ | |
| /*========== Mobile First Method ==========*/ | |
| /* Custom, iPhone Retina */ | |
| @media only screen and (min-width : 320px) { | |
| } |
| from django import http | |
| from django.conf import settings | |
| """ | |
| Put this file in a directory called, eg, 'middleware,' inside your django | |
| project. Make sure to create an __init__.py file in the directory so it can | |
| be included as a module. | |
| Set the values for | |
| XS_SHARING_ALLOWED_ORIGINS | |
| XS_SHARING_ALLOWED_METHODS |
