Skip to content

Instantly share code, notes, and snippets.

@rsvalerio
rsvalerio / install_jenkins_plugin.sh
Created December 13, 2016 23:40 — forked from micw/install_jenkins_plugin.sh
Script to install one or more jenkins plugins including dependencies while jenkins is offline
#!/bin/bash
set -e
if [ $# -eq 0 ]; then
echo "USAGE: $0 plugin1 plugin2 ..."
exit 1
fi
plugin_dir=/var/lib/jenkins/plugins
@Configuration
@EnableWebMvcSecurity
public class WebSecurityConfig extends WebSecurityConfigurerAdapter {
@Bean
public ServiceProperties serviceProperties() {
ServiceProperties serviceProperties = new ServiceProperties();
serviceProperties.setService("https://localhost:8443/cas-sample/j_spring_cas_security_check");
serviceProperties.setSendRenew(false);
return serviceProperties;
@rsvalerio
rsvalerio / bDatepicker
Last active December 17, 2015 11:59 — forked from danbarua/gist:5356062
angularjs bootstrap datepicker
/*
<input b-datepicker="{{dateOptions}}" ng-model="dateObject" >
$scope.dateOptions = {format: 'dd/mm/yyyy'}
*/
angular.module('bDatepicker', []).
directive('bDatepicker', function(){
return {
require: '?ngModel',
restrict: 'A',